Leave a space before >> only when there is a

preceding digit.  Add a comment about the importance of this.

diff --git a/nt/configure.bat b/nt/configure.bat
index 3e8a506da39bdea58fbffba6ec11f0e1e67ae56f..f95757117cd5de7c18714741e446eb362a5c5b36 100755 (executable)
--- a/nt/configure.bat
+++ b/nt/configure.bat
@@ -233,20 +233,23 @@ if %COMPILER% == gcc set MAKECMD=gmake
 if %COMPILER% == cl set MAKECMD=nmake\r
 \r
 rem   Pass on chosen settings to makefiles.\r
+rem   NB. Be very careful to not have a space before redirection symbols\r
+rem   except when there is a preceding digit, when a space is required.\r
+rem\r
 echo # Start of settings from configure.bat >config.settings\r
-echo COMPILER=%COMPILER% >>config.settings\r
+echo COMPILER=%COMPILER%>>config.settings\r
 if (%nodebug%) == (Y) echo NODEBUG=1 >>config.settings\r
 if (%noopt%) == (Y) echo NOOPT=1 >>config.settings\r
 if (%nocygwin%) == (Y) echo NOCYGWIN=1 >>config.settings\r
-if not "(%prefix%)" == "()" echo INSTALL_DIR=%prefix% >>config.settings\r
-if not "(%usercflags%)" == "()" echo USER_CFLAGS=%usercflags% >>config.settings\r
-if not "(%userldflags%)" == "()" echo USER_LDFLAGS=%userldflags% >>config.settings\r
-echo # End of settings from configure.bat >>config.settings\r
+if not "(%prefix%)" == "()" echo INSTALL_DIR=%prefix%>>config.settings\r
+if not "(%usercflags%)" == "()" echo USER_CFLAGS=%usercflags%>>config.settings\r
+if not "(%userldflags%)" == "()" echo USER_LDFLAGS=%userldflags%>>config.settings\r
+echo # End of settings from configure.bat>>config.settings\r
 echo. >>config.settings\r
 \r
 copy config.nt ..\src\config.h\r
-if not "(%usercflags%)" == "()" echo #define USER_CFLAGS " %usercflags%" >>..\src\config.h\r
-if not "(%userldflags%)" == "()" echo #define USER_LDFLAGS " %userldflags%" >>..\src\config.h\r
+if not "(%usercflags%)" == "()" echo #define USER_CFLAGS " %usercflags%">>..\src\config.h\r
+if not "(%userldflags%)" == "()" echo #define USER_LDFLAGS " %userldflags%">>..\src\config.h\r
 copy paths.h ..\src\epaths.h\r
 \r
 copy /b config.settings+%MAKECMD%.defs+..\nt\makefile.w32-in ..\nt\makefile\r