# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 760254912 0
# Node ID a2346a4ebfe24069522ee681efb4ca96a968a2a3
# Parent  a54c236b43c6c3bf82be3e7b38c8137752b881fd
(Using NON_GNU_CPP): Don't lose if it has spaces.

diff -r a54c236b43c6 -r a2346a4ebfe2 configure1.in
--- 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.