# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1192879959 0
# Node ID 136dbf2a69361afbc215c163e0d03fa69bd0b58a
# Parent  e621c5bb81d00a5f1d03b259ba2ef4c9f065f82c
(usercflags, userldflags): Quote %1.

diff -r e621c5bb81d0 -r 136dbf2a6936 nt/configure.bat
--- 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