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.
This commit is contained in:
parent
214b77b5e7
commit
6e71e71952
@ -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 ; \
|
||||
|
Loading…
Reference in New Issue
Block a user