diff options
| author | Richard M. Stallman <rms@gnu.org> | 1993-11-15 01:26:54 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1993-11-15 01:26:54 +0000 |
| commit | bdb6dc9dc6af21cff70ed4403508f21e10bd0e2c (patch) | |
| tree | 2dba838f886776ce2430492f50caef3610502d4a | |
| parent | 8649e3a09405ff467b04f1acb5ad5a4c7780c484 (diff) | |
| download | emacs-bdb6dc9dc6af21cff70ed4403508f21e10bd0e2c.tar.gz | |
(creating src/Makefile): Before running cpp,
discard all lines that start with `# Generated' or /**/#.
| -rwxr-xr-x | configure1.in | 4 |
1 files 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/^#.*//'\'' '\ |
