changeset 7438:5e075fbbef1d

(using NON_GNU_CPP): Fix test for CPP already set.
author Richard M. Stallman <rms@gnu.org>
date Tue, 10 May 1994 20:11:32 +0000
parents d9b4098cebb7
children 28b0a94bd673
files configure1.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Tue May 10 20:03:45 1994 +0000
+++ b/configure1.in	Tue May 10 20:11:32 1994 +0000
@@ -1109,7 +1109,7 @@
 #### 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 ] || [ "x$CPP" = x ]
+if [ "x$NON_GNU_CPP" = x ] || [ x$GCC = x1 ] || [ "x$CPP" != x ]
 then true
 else
   CPP="$NON_GNU_CPP"