diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-10 12:26:21 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-10 12:26:21 +0200 |
| commit | 08b14ab20ebe181690df6210a0b3f95bad494af5 (patch) | |
| tree | 9a3c53f2662ae01792454b0d2005105a12708903 | |
| parent | eb0352e5b075385baebd907081682f14703ef5e0 (diff) | |
maint: 'release' targets runs ./bootstrap for new version string.
Reported by Vagrant Cascadian <vagrant@debian.org>.
* Makefile.am (dist-with-updated-version): New target.
(release): Depend on 'dist-with-updated-version'.
| -rw-r--r-- | Makefile.am | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 654734a9911..36f23b4062b 100644 --- a/Makefile.am +++ b/Makefile.am | |||
| @@ -705,6 +705,16 @@ gen-AUTHORS: | |||
| 705 | "$(top_srcdir)" "$(distdir)/AUTHORS"; \ | 705 | "$(top_srcdir)" "$(distdir)/AUTHORS"; \ |
| 706 | fi | 706 | fi |
| 707 | 707 | ||
| 708 | # Like 'dist', but regenerate 'configure' so we get an up-to-date | ||
| 709 | # 'PACKAGE_VERSION' string. (In Gnulib, 'GNUmakefile' has a special trick to | ||
| 710 | # do that whenever a 'dist' target is used.) | ||
| 711 | dist-with-updated-version: | ||
| 712 | @echo "Running './bootstrap' for new version string..." | ||
| 713 | $(top_srcdir)/bootstrap | ||
| 714 | $(MAKE) $(AM_MAKEFLAGS) $(top_srcdir)/.version dist | ||
| 715 | |||
| 716 | .PHONY: dist-with-updated-version | ||
| 717 | |||
| 708 | 718 | ||
| 709 | # | 719 | # |
| 710 | # Release management. | 720 | # Release management. |
| @@ -760,7 +770,7 @@ system_flags = $(foreach system,$(1),-s $(system)) | |||
| 760 | # | 770 | # |
| 761 | # XXX: Depend on 'dist' rather than 'distcheck' to work around the Gettext | 771 | # XXX: Depend on 'dist' rather than 'distcheck' to work around the Gettext |
| 762 | # issue described at <https://savannah.gnu.org/bugs/index.php?51027>. | 772 | # issue described at <https://savannah.gnu.org/bugs/index.php?51027>. |
| 763 | release: dist | 773 | release: dist-with-updated-version |
| 764 | cd po; git checkout . | 774 | cd po; git checkout . |
| 765 | @if ! git diff-index --quiet HEAD; then \ | 775 | @if ! git diff-index --quiet HEAD; then \ |
| 766 | echo "There are uncommitted changes; stopping." >&2 ; \ | 776 | echo "There are uncommitted changes; stopping." >&2 ; \ |
