diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index db5c2ae7..89ac4ddd 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1027,8 +1027,14 @@ uninstall-recursive: uninstall-links check-local: gawk$(EXEEXT) pgawk$(EXEEXT) # A little extra clean up when making distributions. +# And additional set up for the pc directory. dist-hook: cd $(distdir)/extension ; rm -f *.o *.so + cd 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 # Special rules for individual files # Use of awk instead of $(AWK) is deliberate, in case gawk doesn't build |