diff options
author | Simon Tatham <anakin@pobox.com> | 2017-07-03 09:19:07 +0300 |
---|---|---|
committer | Simon Tatham <anakin@pobox.com> | 2017-07-03 09:28:45 +0300 |
commit | ea0ab1c8218f28957b6e20dd84f9d2a3f19313e6 (patch) | |
tree | 20e9e48cc49fdd4e78b090d3082c0756cf698d4a /CHECKLST.txt | |
parent | 4624115b76903b0b9ad97bee713afafcbd70a31c (diff) |
Simplify running of release.pl --setver.
Previously, it demanded that your checkout was in a state where you
had run autoconf but not configure; so if you previously did have a
Makefile then you had to 'make distclean' to remove it, whereas if you
previously had no generated files at all (e.g. starting from a
completely clean checkout) then you had to run mkfiles.pl and
mkauto.sh to generate 'configure'.
This is obviously confusing, and moreover, the dependence on prior
generated files is fragile and prone to them having been generated
wrong. Adjusted the script so that it uses 'git archive' to get a
clean directory containing only the version-controlled files, and then
runs scripts itself to get that directory into the state it wants.
Diffstat (limited to 'CHECKLST.txt')
-rw-r--r-- | CHECKLST.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CHECKLST.txt b/CHECKLST.txt index 8d55ac41..f757c5e0 100644 --- a/CHECKLST.txt +++ b/CHECKLST.txt @@ -52,7 +52,6 @@ for it: - Now update the version numbers and the transcripts in the docs, by checking out the release branch and running - make distclean ./release.pl --version=X.YZ --setver Then check that the resulting automated git commit has updated the |