chiark / gitweb /
Re-run mkauto.sh from within makedist.sh.
authorSimon Tatham <anakin@pobox.com>
Thu, 28 Apr 2016 19:34:59 +0000 (20:34 +0100)
committerSimon Tatham <anakin@pobox.com>
Thu, 28 Apr 2016 19:34:59 +0000 (20:34 +0100)
It isn't necessary to cause the right files to _exist_, because
makedist.sh is run from Buildscr which has already run mkauto. But it
turns out it _is_ important to get the relative timestamps of
Makefile.in and Makefile.am the right way round, otherwise somebody
who unpacks the tarball and runs 'configure' and 'make' will find make
tries to rebuild Makefile.in because it thinks Makefile.am is newer -
and if they don't have the right automake installed, or any automake,
that will fail.

makedist.sh

index 9d9c11cd417a31c7fff2dc5b33a7ce4428b9cd67..22b4f5d0aebd7d885ce42ebe903096269f00072c 100755 (executable)
@@ -17,6 +17,7 @@ else
 fi
 
 perl mkfiles.pl
+./mkauto.sh
 
 mkdir tmp.$$
 mkdir tmp.$$/puzzles$arcsuffix