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 /m4 | |
parent | dfd248648f59af374bf2c74403f0e561464f6afe (diff) | |
download | guix-c65d05b5ac6da768ffae1038f02a810f79dca83c.tar 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 'm4')
0 files changed, 0 insertions, 0 deletions