changeset 5757:a2346a4ebfe2

(Using NON_GNU_CPP): Don't lose if it has spaces.
author Richard M. Stallman <rms@gnu.org>
date Thu, 03 Feb 1994 05:55:12 +0000
parents a54c236b43c6
children 23821c197271
files configure1.in
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Thu Feb 03 05:06:01 1994 +0000
+++ b/configure1.in	Thu Feb 03 05:55:12 1994 +0000
@@ -1056,10 +1056,10 @@
 #### Some systems specify a CPP to use unless we are using GCC.
 #### Now that we know whether we are using GCC, we can decide whether
 #### to use that one.
-if [ x$NON_GNU_CPP = x ] || [ x$GCC = x1 ]
+if [ "x$NON_GNU_CPP" = x ] || [ x$GCC = x1 ]
 then true
 else
-  CPP=$NON_GNU_CPP
+  CPP="$NON_GNU_CPP"
 fi
 
 #### Some systems specify a CC to use unless we are using GCC.