diff options
| author | Eli Zaretskii | 2001-01-31 08:21:55 +0000 |
|---|---|---|
| committer | Eli Zaretskii | 2001-01-31 08:21:55 +0000 |
| commit | 28e164dd0676b5cb1e8cc56217bdec9b85871692 (patch) | |
| tree | 82a141ae055bf91fa8c7773c201183709781be26 | |
| parent | 8f289accc6cfcdf1eaa86b1a11719742c8afe23f (diff) | |
| download | emacs-28e164dd0676b5cb1e8cc56217bdec9b85871692.tar.gz emacs-28e164dd0676b5cb1e8cc56217bdec9b85871692.zip | |
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>.
| -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. | |||
| 200 | rem | 200 | rem |
| 201 | echo Checking whether W32 API headers are too old... | 201 | echo Checking whether W32 API headers are too old... |
| 202 | echo #include "windows.h" >junk.c | 202 | echo #include "windows.h" >junk.c |
| 203 | echo test(PIMAGE_NT_HEADERS pHeader)>>junk.c | 203 | echo test(PIMAGE_NT_HEADERS pHeader) >>junk.c |
| 204 | echo {PIMAGE_SECTION_HEADER pSection = IMAGE_FIRST_SECTION(pHeader);}>>junk.c | 204 | echo {PIMAGE_SECTION_HEADER pSection = IMAGE_FIRST_SECTION(pHeader);} >>junk.c |
| 205 | gcc -c junk.c | 205 | gcc -c junk.c |
| 206 | if exist junk.o goto gccOk | 206 | if exist junk.o goto gccOk |
| 207 | 207 | ||
| @@ -235,18 +235,18 @@ if %COMPILER% == cl set MAKECMD=nmake | |||
| 235 | rem Pass on chosen settings to makefiles. | 235 | rem Pass on chosen settings to makefiles. |
| 236 | echo # Start of settings from configure.bat >config.settings | 236 | echo # Start of settings from configure.bat >config.settings |
| 237 | echo COMPILER=%COMPILER% >>config.settings | 237 | echo COMPILER=%COMPILER% >>config.settings |
| 238 | if (%nodebug%) == (Y) echo NODEBUG=1>>config.settings | 238 | if (%nodebug%) == (Y) echo NODEBUG=1 >>config.settings |
| 239 | if (%noopt%) == (Y) echo NOOPT=1>>config.settings | 239 | if (%noopt%) == (Y) echo NOOPT=1 >>config.settings |
| 240 | if (%nocygwin%) == (Y) echo NOCYGWIN=1>>config.settings | 240 | if (%nocygwin%) == (Y) echo NOCYGWIN=1 >>config.settings |
| 241 | if not "(%prefix%)" == "()" echo INSTALL_DIR=%prefix%>>config.settings | 241 | if not "(%prefix%)" == "()" echo INSTALL_DIR=%prefix% >>config.settings |
| 242 | if not "(%usercflags%)" == "()" echo USER_CFLAGS=%usercflags%>>config.settings | 242 | if not "(%usercflags%)" == "()" echo USER_CFLAGS=%usercflags% >>config.settings |
| 243 | if not "(%userldflags%)" == "()" echo USER_LDFLAGS=%userldflags%>>config.settings | 243 | if not "(%userldflags%)" == "()" echo USER_LDFLAGS=%userldflags% >>config.settings |
| 244 | echo # End of settings from configure.bat>>config.settings | 244 | echo # End of settings from configure.bat >>config.settings |
| 245 | echo. >>config.settings | 245 | echo. >>config.settings |
| 246 | 246 | ||
| 247 | copy config.nt ..\src\config.h | 247 | copy config.nt ..\src\config.h |
| 248 | if not "(%usercflags%)" == "()" echo #define USER_CFLAGS " %usercflags%">>..\src\config.h | 248 | if not "(%usercflags%)" == "()" echo #define USER_CFLAGS " %usercflags%" >>..\src\config.h |
| 249 | if not "(%userldflags%)" == "()" echo #define USER_LDFLAGS " %userldflags%">>..\src\config.h | 249 | if not "(%userldflags%)" == "()" echo #define USER_LDFLAGS " %userldflags%" >>..\src\config.h |
| 250 | copy paths.h ..\src\epaths.h | 250 | copy paths.h ..\src\epaths.h |
| 251 | 251 | ||
| 252 | copy /b config.settings+%MAKECMD%.defs+..\nt\makefile.w32-in ..\nt\makefile | 252 | copy /b config.settings+%MAKECMD%.defs+..\nt\makefile.w32-in ..\nt\makefile |