diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-01-30 21:48:35 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-01-30 21:48:35 +0200 |
| commit | 10418fbb452f98e5cc273165af76a600add1155c (patch) | |
| tree | 0db2c0dafb3c3222d463db436a4ad618b4992a7e /Makefile.in | |
| parent | fab63d983c15fae8301ca6b21c18ca27f86ba56a (diff) | |
| parent | d326a1b2bdba07f2c54d53a2d16d46db96be40a9 (diff) | |
| download | egawk-10418fbb452f98e5cc273165af76a600add1155c.tar.gz egawk-10418fbb452f98e5cc273165af76a600add1155c.tar.bz2 egawk-10418fbb452f98e5cc273165af76a600add1155c.zip | |
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index 25ee0da5..65efdf34 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1171,10 +1171,11 @@ check-local: gawk$(EXEEXT) dist-hook: cd $(distdir)/extension ; rm -f *.o *.so cd $(srcdir)/pc ; \ - sed -n -f configpk.sed < ../configure.ac > tmp.sed ; \ - sed -f config.sed < ../configh.in > config.tmp ; \ - sed -f tmp.sed < config.tmp > config.h ; \ - $(RM) tmp.sed config.tmp + sed -n -f configpk.sed < ../configure.ac > /tmp/tmp.sed ; \ + sed -f config.sed < ../configh.in > /tmp/config.tmp ; \ + sed -f /tmp/tmp.sed < /tmp/config.tmp > config.h ; \ + $(RM) /tmp/tmp.sed /tmp/config.tmp + cp pc/config.h $(distdir)/pc/config.h # Special rules for individual files # Use of awk instead of $(AWK) is deliberate, in case gawk doesn't build |