Mercurial > emacs
changeset 35755:f0c740b5e8b0
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>.
| author | Eli Zaretskii <eliz@gnu.org> |
|---|---|
| date | Wed, 31 Jan 2001 08:21:55 +0000 |
| parents | aa65d4c5972f |
| children | 8a4490cbee15 |
| files | nt/configure.bat |
| diffstat | 1 files changed, 11 insertions(+), 11 deletions(-) [+] |
line wrap: on
line diff
--- 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