[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/02: maint: 'release' now depends on 'dist', not 'distcheck'.
|
From: |
Ludovic Courtès |
|
Subject: |
02/02: maint: 'release' now depends on 'dist', not 'distcheck'. |
|
Date: |
Sun, 14 May 2017 16:41:33 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit 73c791b8f3124b20e9bdd66428dbdf481ee12921
Author: Ludovic Courtès <address@hidden>
Date: Sun May 14 22:14:59 2017 +0200
maint: 'release' now depends on 'dist', not 'distcheck'.
* Makefile.am (release): Depend on 'dist' instead of 'distcheck'.
---
Makefile.am | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/Makefile.am b/Makefile.am
index 74fbc8a..5bfc9ca 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 ; \