diff options
| author | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2014-06-24 13:18:33 +0200 |
|---|---|---|
| committer | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2014-06-24 13:18:33 +0200 |
| commit | f1245d04a9f076773c60499b468f44ed9c91b59b (patch) | |
| tree | 2b49234400150bfaac7ebf8c017562300edc7471 /Makefile.in | |
| parent | ee9707cc44eea3ca64cb71666ac3e8ed26a3bb7f (diff) | |
| parent | 78ded8ee8f11a321c96417e7d02dac2f5723a221 (diff) | |
| download | egawk-f1245d04a9f076773c60499b468f44ed9c91b59b.tar.gz egawk-f1245d04a9f076773c60499b468f44ed9c91b59b.tar.bz2 egawk-f1245d04a9f076773c60499b468f44ed9c91b59b.zip | |
Merge remote-tracking branch 'origin/master' into cmake
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/Makefile.in b/Makefile.in index 25ee0da5..2abf5b46 100644 --- a/Makefile.in +++ b/Makefile.in @@ -17,7 +17,7 @@ # # Makefile.am --- automake input file for gawk # -# Copyright (C) 2000-2013 the Free Software Foundation, Inc. +# Copyright (C) 2000-2014 the Free Software Foundation, Inc. # # This file is part of GAWK, the GNU implementation of the # AWK Programming Language. @@ -1171,10 +1171,14 @@ 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 + chmod u+w config.h ; \ + 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 + pwd + chmod u+w $(distdir)/pc/config.h + cp $(srcdir)/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 |