changeset 85480:136dbf2a6936

(usercflags, userldflags): Quote %1.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 20 Oct 2007 11:32:39 +0000
parents e621c5bb81d0
children 7753e1a2732c
files nt/configure.bat
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/nt/configure.bat	Sat Oct 20 06:53:06 2007 +0000
+++ b/nt/configure.bat	Sat Oct 20 11:32:39 2007 +0000
@@ -158,14 +158,15 @@
 rem ----------------------------------------------------------------------
 :usercflags
 shift
-set usercflags=%usercflags%%sep1%%1
+rem We quote arg here to leave quotes in the likes of "-DFOO=bar"
+set usercflags=%usercflags%%sep1%"%1"
 set sep1= %nothing%
 shift
 goto again
 rem ----------------------------------------------------------------------
 :userldflags
 shift
-set userldflags=%userldflags%%sep2%%1
+set userldflags=%userldflags%%sep2%"%1"
 set sep2= %nothing%
 shift
 goto again