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 /gnu/packages | |
| 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 'gnu/packages')
0 files changed, 0 insertions, 0 deletions