[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/03: maint: Do not update PO files upon "make dist".
From: |
Ludovic Courtès |
Subject: |
02/03: maint: Do not update PO files upon "make dist". |
Date: |
Sun, 14 May 2017 09:50:04 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit c65d05b5ac6da768ffae1038f02a810f79dca83c
Author: Ludovic Courtès <address@hidden>
Date: Sun May 14 12:23:55 2017 +0200
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/guix/Makevars | 5 +++++
po/packages/Makevars | 5 +++++
2 files changed, 10 insertions(+)
diff --git a/po/guix/Makevars b/po/guix/Makevars
index 6e301b6..adbc8e2 100644
--- a/po/guix/Makevars
+++ b/po/guix/Makevars
@@ -20,3 +20,8 @@ COPYRIGHT_HOLDER = Ludovic Courtès
MSGID_BUGS_ADDRESS = address@hidden
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 1b4689b..c29f3d3 100644
--- a/po/packages/Makevars
+++ b/po/packages/Makevars
@@ -17,3 +17,8 @@ COPYRIGHT_HOLDER = Ludovic Courtès
MSGID_BUGS_ADDRESS = address@hidden
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