diff options
| author | Andrew Innes <andrewi@gnu.org> | 2001-02-03 18:23:07 +0000 |
|---|---|---|
| committer | Andrew Innes <andrewi@gnu.org> | 2001-02-03 18:23:07 +0000 |
| commit | f80e3dc455de2a58156273af4db695056af05143 (patch) | |
| tree | 9a2e3ef1f4d41adec0239b7cab8b5a50781b6536 /nt | |
| parent | 9a4024ed5d211025a9b9f9c41ccc660e881a72dd (diff) | |
| download | emacs-f80e3dc455de2a58156273af4db695056af05143.tar.gz | |
Leave a space before >> only when there is a
preceding digit. Add a comment about the importance of this.
Diffstat (limited to 'nt')
| -rwxr-xr-x | nt/configure.bat | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/nt/configure.bat b/nt/configure.bat index 3e8a506da39..f95757117cd 100755 --- a/nt/configure.bat +++ b/nt/configure.bat @@ -233,20 +233,23 @@ if %COMPILER% == gcc set MAKECMD=gmake if %COMPILER% == cl set MAKECMD=nmake
rem Pass on chosen settings to makefiles.
+rem NB. Be very careful to not have a space before redirection symbols
+rem except when there is a preceding digit, when a space is required.
+rem
echo # Start of settings from configure.bat >config.settings
-echo COMPILER=%COMPILER% >>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 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
|