From: "Juan Manuel Guerrero" Organization: Darmstadt University of Technology To: djgpp-workers AT delorie DOT com Date: Tue, 11 Apr 2000 07:49:49 +0200 MIME-Version: 1.0 Content-type: text/plain; charset=US-ASCII Content-transfer-encoding: 7BIT Subject: suggestion for config.bat (texinfo-4.0) X-mailer: Pegasus Mail for Windows (v2.54DE) Message-ID: <9D8CF256E0@HRZ1.hrz.tu-darmstadt.de> Reply-To: djgpp-workers AT delorie DOT com first: This two lines are from config.bat from texinfo-4.0: set HOSTNAME=%HOSTNAME%, %OS% if not "%HOSTNAME%" == "%HOSTNAME%, %OS%" goto SmallEnv Suppose that HOSTNAME has been set to FOO and OS has been set to MS-DOS. In line #1 HOSTNAME will be set to "FOO, MS-DOS". The test in line #2 will ALWAYS fail because: left hand side: HOSTNAME="FOO, MS-DOS" right hand side: HOSTNAME="FOO, MS-DOS, MS-DOS". This is certainly a bug. No mather how large the user chooses the environment size, the batch file will always abort with the error message: Your environment size is too small. Enlarge it and run me again. Configuration NOT done! second: This concern only people using 4DOS v6.X with MSDOS v 6.X and probably other SFN environments. 4DOS does NOT truncute long file names to short file names when it runs its internal commands like ren, copy, del, etc. This means that the following command will ALWAYS fail: ren install-sh.sh install-sh The above command gives the following error messages: File not found "install-sh.sh" 0 files renamed if 4DOS v 6.X and MSDOS v 6.X are used. There is NO restriction for the DESTINATION file name, but the SOURCE file name MUST be a valid 8.3 file name or the command and config.bat will not work properly. The following command will work: ren install-??.sh install-sh A patch based on config.bat from texinfo4.0 follows. Regards, Guerrero, Juan Manuel. *** config.bat.orig Wed Sep 29 18:26:10 1999 --- config.bat Mon Apr 10 22:47:32 2000 *************** *** 56,75 **** set HOSTNAME=%USERNAME%'s PC if not "%HOSTNAME%" == "%USERNAME%'s PC" goto SmallEnv :userdone ! set HOSTNAME=%HOSTNAME%, %OS% ! if not "%HOSTNAME%" == "%HOSTNAME%, %OS%" goto SmallEnv :hostdone set OS= Rem install-sh is required by the configure script but clashes with the Rem various Makefile install-foo targets, so we MUST have it before the Rem script runs and rename it afterwards ! if not exist install-sh if exist install-sh.sh ren install-sh.sh install-sh echo Running the ./configure script... sh ./configure --src=%XSRC% --infodir=/dev/env/DJDIR/info --disable-nls if errorlevel 1 goto CfgError ! if not exist install-sh.sh if exist install-sh ren install-sh install-sh.sh echo Done. goto End --- 56,77 ---- set HOSTNAME=%USERNAME%'s PC if not "%HOSTNAME%" == "%USERNAME%'s PC" goto SmallEnv :userdone ! set _HOSTNAME=%HOSTNAME%, %OS% ! if not "%_HOSTNAME%" == "%HOSTNAME%, %OS%" goto SmallEnv ! set HOSTNAME=%_HOSTNAME% :hostdone + set _HOSTNAME= set OS= Rem install-sh is required by the configure script but clashes with the Rem various Makefile install-foo targets, so we MUST have it before the Rem script runs and rename it afterwards ! if not exist install-?? if exist install-??.sh ren install-??.sh install-sh echo Running the ./configure script... sh ./configure --src=%XSRC% --infodir=/dev/env/DJDIR/info --disable-nls if errorlevel 1 goto CfgError ! if not exist install-??.sh if exist install-?? ren install-?? install-sh.sh echo Done. goto End