# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1018978748 0
# Node ID f0c07caa514eab4b6ee4eabf38f9b9f94049c5b4
# Parent  e5e875cd7a9a1d4d87db1a88f5a9da09ab3486c9
Update for msdos/sed2v2.inp.

diff -r e5e875cd7a9a -r f0c07caa514e config.bat
--- a/config.bat	Tue Apr 16 17:37:04 2002 +0000
+++ b/config.bat	Tue Apr 16 17:39:08 2002 +0000
@@ -152,7 +152,12 @@
 if "%X11%" == "" goto src4
 sed -f ../msdos/sed2x.inp <config.in >config.tmp
 :src4
+if "%DJGPP_VER%" == "2" Goto src41
 sed -f ../msdos/sed2.inp <config.tmp >config.h2
+goto src42
+:src41
+sed -f ../msdos/sed2v2.inp <config.tmp >config.h2
+:src42
 update config.h2 config.h >nul
 rm -f config.tmp config.h2