changeset 4999:17ff41a8348d

(creating src/Makefile): Before running cpp, discard all lines that start with # or /**/#.
author Richard M. Stallman <rms@gnu.org>
date Sat, 13 Nov 1993 10:02:57 +0000
parents 3cd3a39f98f4
children 719f0190c04a
files configure1.in
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Sat Nov 13 09:31:34 1993 +0000
+++ b/configure1.in	Sat Nov 13 10:02:57 1993 +0000
@@ -1407,10 +1407,14 @@
    exit $status
 fi
 topsrcdir=${srcdir}
+  # We discard all lines in Makefile.in that start with # or /**/#
+  # because some cpps get confused by them.
+  # Really we should preserve them somehow into Makefile,
+  # but that is beyond my level of shell programming.
 makefile_command='echo "creating src/Makefile";
   topsrcdir='"${topsrcdir}"';
 ( cd ./src;
-  cp Makefile.in junk.c;
+  sed -e '\''s/^#.*//'\'' -e '\''s%/\*\*/#.*%%'\'' < Makefile.in > junk.c;
   eval `echo ${CPP} -I. -I${topsrcdir}/src ${CPPFLAGS} junk.c \>junk.cpp`;
   < junk.cpp							'\
 '    sed -e '\''s/^#.*//'\''					'\