diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-05-14 22:14:59 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-14 22:16:34 +0200 |
| commit | 73c791b8f3124b20e9bdd66428dbdf481ee12921 (patch) | |
| tree | 757ece564a5eede5c9b108897609909efeb34729 /Makefile.am | |
| parent | 6344e959ea45c283a0c7a2091f0959f8e09a198d (diff) | |
maint: 'release' now depends on 'dist', not 'distcheck'.
* Makefile.am (release): Depend on 'dist' instead of 'distcheck'.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 74fbc8a759..5bfc9ca88c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -589,7 +589,10 @@ GUIXSD_INSTALLATION_IMAGE_SIZE ?= 950MiB # # This 'release' target takes care of everything and copies the resulting # files to $(releasedir). -release: distcheck +# +# XXX: Depend on 'dist' rather than 'distcheck' to work around the Gettext +# issue described at <https://savannah.gnu.org/bugs/index.php?51027>. +release: dist cd po; git checkout . @if ! git diff-index --quiet HEAD; then \ echo "There are uncommitted changes; stopping." >&2 ; \ |