diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-05-05 12:03:21 -0400 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-05-05 16:31:06 -0400 |
commit | 6e71e719522adec83b49a1533af8b5838479c8fb (patch) | |
tree | 91b6ce088e372c7d8cb08eb534f265a50bd55ebb | |
parent | 214b77b5e749e2ca5891bfc87f946031cf8934e6 (diff) | |
download | guix-6e71e719522adec83b49a1533af8b5838479c8fb.tar.gz |
maint: Remove a workaround in Makefile.am.
This workaround was made obsolete by commit a23789bbbd, which prevented the PO files from being spuriously updated upon running 'make'. * Makefile.am (release) <git checkout>: Remove command.
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 0a4bb13e5b..c6028c586a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -840,7 +840,6 @@ system_flags = $(foreach system,$(1),-s $(system)) # XXX: Depend on 'dist' rather than 'distcheck' to work around the Gettext # issue described at <https://savannah.gnu.org/bugs/index.php?51027>. release: dist-with-updated-version all - cd po; git checkout . @if ! git diff-index --quiet HEAD; then \ echo "There are uncommitted changes; stopping." >&2 ; \ exit 1 ; \ |