# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 980929315 0
# Node ID f0c740b5e8b01dffe52d5239b83a29bde0c75edb
# Parent  aa65d4c5972f6ecede86b16c471b9ce42f03ec0d
Make sure redirection is preceeded by a blank, to
avoid problems with "1>>foo" when CMD.EXE is the shell, which eats
up the "1" part.  From Rob Giardina <rob@criticalpointsoftware.com>.

diff -r aa65d4c5972f -r f0c740b5e8b0 nt/configure.bat
--- a/nt/configure.bat	Wed Jan 31 07:49:43 2001 +0000
+++ b/nt/configure.bat	Wed Jan 31 08:21:55 2001 +0000
@@ -200,8 +200,8 @@
 rem
 echo Checking whether W32 API headers are too old...
 echo #include "windows.h" >junk.c
-echo test(PIMAGE_NT_HEADERS pHeader)>>junk.c
-echo {PIMAGE_SECTION_HEADER pSection = IMAGE_FIRST_SECTION(pHeader);}>>junk.c
+echo test(PIMAGE_NT_HEADERS pHeader) >>junk.c
+echo {PIMAGE_SECTION_HEADER pSection = IMAGE_FIRST_SECTION(pHeader);} >>junk.c
 gcc -c junk.c
 if exist junk.o goto gccOk
 
@@ -235,18 +235,18 @@
 rem   Pass on chosen settings to makefiles.
 echo # Start of settings from configure.bat >config.settings
 echo COMPILER=%COMPILER% >>config.settings
-if (%nodebug%) == (Y) echo NODEBUG=1>>config.settings
-if (%noopt%) == (Y) echo NOOPT=1>>config.settings
-if (%nocygwin%) == (Y) echo NOCYGWIN=1>>config.settings
-if not "(%prefix%)" == "()" echo INSTALL_DIR=%prefix%>>config.settings
-if not "(%usercflags%)" == "()" echo USER_CFLAGS=%usercflags%>>config.settings
-if not "(%userldflags%)" == "()" echo USER_LDFLAGS=%userldflags%>>config.settings
-echo # End of settings from configure.bat>>config.settings
+if (%nodebug%) == (Y) echo NODEBUG=1 >>config.settings
+if (%noopt%) == (Y) echo NOOPT=1 >>config.settings
+if (%nocygwin%) == (Y) echo NOCYGWIN=1 >>config.settings
+if not "(%prefix%)" == "()" echo INSTALL_DIR=%prefix% >>config.settings
+if not "(%usercflags%)" == "()" echo USER_CFLAGS=%usercflags% >>config.settings
+if not "(%userldflags%)" == "()" echo USER_LDFLAGS=%userldflags% >>config.settings
+echo # End of settings from configure.bat >>config.settings
 echo. >>config.settings
 
 copy config.nt ..\src\config.h
-if not "(%usercflags%)" == "()" echo #define USER_CFLAGS " %usercflags%">>..\src\config.h
-if not "(%userldflags%)" == "()" echo #define USER_LDFLAGS " %userldflags%">>..\src\config.h
+if not "(%usercflags%)" == "()" echo #define USER_CFLAGS " %usercflags%" >>..\src\config.h
+if not "(%userldflags%)" == "()" echo #define USER_LDFLAGS " %userldflags%" >>..\src\config.h
 copy paths.h ..\src\epaths.h
 
 copy /b config.settings+%MAKECMD%.defs+..\nt\makefile.w32-in ..\nt\makefile