]> git.eshelyaron.com Git - emacs.git/commitdiff
Make sure redirection is preceeded by a blank, to
authorEli Zaretskii <eliz@gnu.org>
Wed, 31 Jan 2001 08:21:55 +0000 (08:21 +0000)
committerEli Zaretskii <eliz@gnu.org>
Wed, 31 Jan 2001 08:21:55 +0000 (08:21 +0000)
avoid problems with "1>>foo" when CMD.EXE is the shell, which eats
up the "1" part.  From Rob Giardina <rob@criticalpointsoftware.com>.

nt/configure.bat

index 11697a4a6454f6bc2623c82a3bad4e445c1b883d..edbafe497aaa700ed8363c8cff81f6f8db7d92e1 100755 (executable)
@@ -200,8 +200,8 @@ rem   of w32api-xxx.zip from Anders Norlander since 1999-11-18 at least.
 rem\r
 echo Checking whether W32 API headers are too old...\r
 echo #include "windows.h" >junk.c\r
-echo test(PIMAGE_NT_HEADERS pHeader)>>junk.c\r
-echo {PIMAGE_SECTION_HEADER pSection = IMAGE_FIRST_SECTION(pHeader);}>>junk.c\r
+echo test(PIMAGE_NT_HEADERS pHeader) >>junk.c\r
+echo {PIMAGE_SECTION_HEADER pSection = IMAGE_FIRST_SECTION(pHeader);} >>junk.c\r
 gcc -c junk.c\r
 if exist junk.o goto gccOk\r
 \r
@@ -235,18 +235,18 @@ if %COMPILER% == cl set MAKECMD=nmake
 rem   Pass on chosen settings to makefiles.\r
 echo # Start of settings from configure.bat >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 (%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
 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