diff options
author | Eli Zaretskii <eliz@gnu.org> | 2001-01-31 08:21:55 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2001-01-31 08:21:55 +0000 |
commit | 28e164dd0676b5cb1e8cc56217bdec9b85871692 (patch) | |
tree | 82a141ae055bf91fa8c7773c201183709781be26 /nt | |
parent | 8f289accc6cfcdf1eaa86b1a11719742c8afe23f (diff) | |
download | emacs-28e164dd0676b5cb1e8cc56217bdec9b85871692.tar.gz |
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>.
Diffstat (limited to 'nt')
-rwxr-xr-x | nt/configure.bat | 22 |
1 files changed, 11 insertions, 11 deletions
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
|