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.
master
Ludovic Courtès 2017-05-14 12:23:55 +02:00
parent dfd248648f
commit c65d05b5ac
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
2 changed files with 10 additions and 0 deletions

View File

@ -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

View File

@ -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