diff options
author | Richard M. Stallman <rms@gnu.org> | 1993-11-13 10:02:57 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1993-11-13 10:02:57 +0000 |
commit | 9ee033545d4a9c781c18fbec55d6210fdabcc100 (patch) | |
tree | bf2ba763b8bee107443d2bdddc15497219814dbb /configure1.in | |
parent | f2300186e79e5aefd4d58eb3c23e4b9b00eb9036 (diff) | |
download | emacs-9ee033545d4a9c781c18fbec55d6210fdabcc100.tar.gz |
(creating src/Makefile): Before running cpp,
discard all lines that start with # or /**/#.
Diffstat (limited to 'configure1.in')
-rwxr-xr-x | configure1.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/configure1.in b/configure1.in index 6414e99e89c..53f1bb5e17a 100755 --- a/configure1.in +++ b/configure1.in @@ -1407,10 +1407,14 @@ if [ ! -f ./config.status ]; then 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/^#.*//'\'' '\ |