diff options
| author | Andrew Innes <andrewi@gnu.org> | 2001-01-06 21:16:12 +0000 |
|---|---|---|
| committer | Andrew Innes <andrewi@gnu.org> | 2001-01-06 21:16:12 +0000 |
| commit | 7389a353052157196da5aae21b0229be7e1c3d59 (patch) | |
| tree | cb249f885cd89abf7a603bb806b4d16d5e4d1869 /nt | |
| parent | 77f16cc6332a4b10d7af4d2eb6fc5f0c382bd55e (diff) | |
| download | emacs-7389a353052157196da5aae21b0229be7e1c3d59.tar.gz | |
Be careful not to add trailing spaces when
outputting to config.settings.
Diffstat (limited to 'nt')
| -rwxr-xr-x | nt/configure.bat | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/nt/configure.bat b/nt/configure.bat index f04bbfa4870..8abb58c7ebc 100755 --- a/nt/configure.bat +++ b/nt/configure.bat @@ -235,13 +235,13 @@ 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
|