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/guix/Makevars | |
| parent | dfd248648f59af374bf2c74403f0e561464f6afe (diff) | |
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/guix/Makevars')
| -rw-r--r-- | po/guix/Makevars | 5 |
1 files changed, 5 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 |