of a freshly configured dist that is caused by changing the modified time of
configure and configure.in, we can use "cp -p" "touch -r" to reset the
timestamp of the modified files. Note that "make dist" is a maintainer activity
so these don't need to be portable.
git-svn-id: http://svn.complang.org/ragel/trunk@800
052ea7fc-9027-0410-9066-
f65837a77df0
dist_doc_DATA = ChangeLog
+sed_script = 's/build_parsers=yes/build_parsers=no/;s/build_manual=yes/build_manual=no/;'
+
+configure = $(top_distdir)/configure
+
+dist-hook:
+ cp -p $(configure) $(configure).tmp
+ cp -p $(configure).in $(configure).in.tmp
+ sed $(sed_script) $(configure).tmp > $(configure)
+ sed $(sed_script) $(cfgscripcfgscript).in.tmp > $(configure).in
+ touch -r $(configure).tmp $(configure)
+ touch -r $(configure).in.tmp $(configure)
+ rm $(configure).tmp $(configure).in.tmp