From c65d05b5ac6da768ffae1038f02a810f79dca83c Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Sun, 14 May 2017 12:23:55 +0200
Subject: 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.
---
 po/packages/Makevars | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'po/packages')

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
-- 
cgit v1.2.3