diff options
author | Eli Zaretskii <eliz@gnu.org> | 2007-10-20 11:32:39 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2007-10-20 11:32:39 +0000 |
commit | 7d7997ce884a3bae9f0855d01ada21b2d9353b1d (patch) | |
tree | dc85b56a923c9067ea530dea01fcd02d4b8d57ab /nt/configure.bat | |
parent | 2a112d0925a304fe3ecda3f28e1c57687a149882 (diff) | |
download | emacs-7d7997ce884a3bae9f0855d01ada21b2d9353b1d.tar.gz |
(usercflags, userldflags): Quote %1.
Diffstat (limited to 'nt/configure.bat')
-rwxr-xr-x | nt/configure.bat | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/nt/configure.bat b/nt/configure.bat index 27ba7bedce1..3782f1f749f 100755 --- a/nt/configure.bat +++ b/nt/configure.bat @@ -158,14 +158,15 @@ goto again 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
|