From bdb6dc9dc6af21cff70ed4403508f21e10bd0e2c Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Mon, 15 Nov 1993 01:26:54 +0000 Subject: [PATCH] (creating src/Makefile): Before running cpp, discard all lines that start with `# Generated' or /**/#. --- configure1.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/configure1.in b/configure1.in index 53f1bb5e17a..433dcaf5bf8 100755 --- a/configure1.in +++ b/configure1.in @@ -1407,14 +1407,14 @@ if [ ! -f ./config.status ]; then 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/^#.*//'\'' '\ -- 2.39.5