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)
commite917a7d03a3570b09ecdf71a638ccc8496341d60
treeab2f3be969718f4a7b9a9f2cf71a856627c05c48
parent6a8a53e7235a8621313b792b498ebb43452f9e38
Re-run mkauto.sh from within makedist.sh.

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