aboutsummaryrefslogtreecommitdiff
path: root/po
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2017-05-14 12:23:55 +0200
committerLudovic Courtès <ludo@gnu.org>2017-05-14 15:49:49 +0200
commitc65d05b5ac6da768ffae1038f02a810f79dca83c (patch)
treedc2a25ac45e4adda5bd06f1e81aedc61fe9451d5 /po
parentdfd248648f59af374bf2c74403f0e561464f6afe (diff)
downloadgnu-guix-c65d05b5ac6da768ffae1038f02a810f79dca83c.tar
gnu-guix-c65d05b5ac6da768ffae1038f02a810f79dca83c.tar.gz
maint: Do not update PO files upon "make dist".
This works around a non-determinstic build failure when doing "make distcheck -j4". * po/guix/Makevars (DIST_DEPENDS_ON_UPDATE_PO): New variable. * po/packages/Makevars (DIST_DEPENDS_ON_UPDATE_PO): New variable.
Diffstat (limited to 'po')
-rw-r--r--po/guix/Makevars5
-rw-r--r--po/packages/Makevars5
2 files changed, 10 insertions, 0 deletions
diff --git a/po/guix/Makevars b/po/guix/Makevars
index 6e301b68ef..adbc8e246c 100644
--- a/po/guix/Makevars
+++ b/po/guix/Makevars
@@ -20,3 +20,8 @@ COPYRIGHT_HOLDER = Ludovic Courtès
MSGID_BUGS_ADDRESS = ludo@gnu.org
EXTRA_LOCALE_CATEGORIES =
+
+# Disable PO update upon "make dist", which sometimes fails when doing
+# "make distcheck -j4".
+# See <https://lists.gnu.org/archive/html/bug-gettext/2014-08/msg00005.html>.
+DIST_DEPENDS_ON_UPDATE_PO = no
diff --git a/po/packages/Makevars b/po/packages/Makevars
index 1b4689b7c3..c29f3d306c 100644
--- a/po/packages/Makevars
+++ b/po/packages/Makevars
@@ -17,3 +17,8 @@ COPYRIGHT_HOLDER = Ludovic Courtès
MSGID_BUGS_ADDRESS = ludo@gnu.org
EXTRA_LOCALE_CATEGORIES =
+
+# Disable PO update upon "make dist", which sometimes fails when doing
+# "make distcheck -j4".
+# See <https://lists.gnu.org/archive/html/bug-gettext/2014-08/msg00005.html>.
+DIST_DEPENDS_ON_UPDATE_PO = no