From: Eli Zaretskii Date: Wed, 31 Jan 2001 08:21:55 +0000 (+0000) Subject: Make sure redirection is preceeded by a blank, to X-Git-Tag: emacs-pretest-21.0.98~278 X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=28e164dd0676b5cb1e8cc56217bdec9b85871692;p=emacs.git 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 . --- diff --git a/nt/configure.bat b/nt/configure.bat index 11697a4a645..edbafe497aa 100755 --- a/nt/configure.bat +++ b/nt/configure.bat @@ -200,8 +200,8 @@ rem of w32api-xxx.zip from Anders Norlander since 1999-11-18 at least. 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 @@ if %COMPILER% == cl set MAKECMD=nmake 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