# HG changeset patch
# User Andrew Innes <andrewi@gnu.org>
# Date 978815772 0
# Node ID 73acaa7d1cb9d5bd92996de2e06c9e05e37e6df0
# Parent  dc7adc956a5e7af3c2494bb01cb4c6df5cf313fb
Be careful not to add trailing spaces when
outputting to config.settings.

diff -r dc7adc956a5e -r 73acaa7d1cb9 nt/configure.bat
--- a/nt/configure.bat	Sat Jan 06 21:07:39 2001 +0000
+++ b/nt/configure.bat	Sat Jan 06 21:16:12 2001 +0000
@@ -235,13 +235,13 @@
 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