From c65d05b5ac6da768ffae1038f02a810f79dca83c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Sun, 14 May 2017 12:23:55 +0200 Subject: [PATCH] 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 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 . +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 . +DIST_DEPENDS_ON_UPDATE_PO = no