summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-05-05 12:03:21 -0400
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-05-05 16:31:06 -0400
commit6e71e719522adec83b49a1533af8b5838479c8fb (patch)
tree91b6ce088e372c7d8cb08eb534f265a50bd55ebb
parent214b77b5e749e2ca5891bfc87f946031cf8934e6 (diff)
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.am1
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 ; \