diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-05-14 12:23:55 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-14 15:49:49 +0200 |
| commit | c65d05b5ac6da768ffae1038f02a810f79dca83c (patch) | |
| tree | dc2a25ac45e4adda5bd06f1e81aedc61fe9451d5 /po/packages/Makevars | |
| parent | dfd248648f59af374bf2c74403f0e561464f6afe (diff) | |
| download | 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/packages/Makevars')
| -rw-r--r-- | po/packages/Makevars | 5 |
1 files changed, 5 insertions, 0 deletions
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 |