changeset 5013:950929c4ae00

(creating src/Makefile): Before running cpp, discard all lines that start with `# Generated' or /**/#.
author Richard M. Stallman <rms@gnu.org>
date Mon, 15 Nov 1993 01:26:54 +0000
parents abf7039eaa1d
children 6062331f7430
files configure1.in
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Mon Nov 15 01:06:24 1993 +0000
+++ b/configure1.in	Mon Nov 15 01:26:54 1993 +0000
@@ -1407,14 +1407,14 @@
    exit $status
 fi
 topsrcdir=${srcdir}
-  # We discard all lines in Makefile.in that start with # or /**/#
+  # We discard all lines in Makefile.in that start with `# Generated' 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;
-  sed -e '\''s/^#.*//'\'' -e '\''s%/\*\*/#.*%%'\'' < Makefile.in > junk.c;
+  sed -e '\''s/^# Generated.*//'\'' -e '\''s%/\*\*/#.*%%'\'' < Makefile.in > junk.c;
   eval `echo ${CPP} -I. -I${topsrcdir}/src ${CPPFLAGS} junk.c \>junk.cpp`;
   < junk.cpp							'\
 '    sed -e '\''s/^#.*//'\''					'\