Delete a dummy ChangeLog in ‘make distclean’.

‘make distcheck’ from git may create a dummy ChangeLog file in the
build directory.  Delete this on ‘make distclean’, but don’t delete
a real ChangeLog (generated by the gen-ChangeLog rule).

* Makefile.am (distclean-local): Delete ChangeLog if it is the dummy
  created to pacify automake.
This commit is contained in:
Zack Weinberg 2020-08-18 15:01:10 -04:00
parent 17a7ec16a7
commit 924ba17398
No known key found for this signature in database
GPG Key ID: 384F8E68AC65B0D5

View File

@ -125,8 +125,14 @@ dist-hook: gen-ChangeLog
# Arrange to remove the symlink to GNUmakefile in VPATH builds.
# TODO remove this once automake vs. AC_CONFIG_LINKS issue is fixed.
# Delete ChangeLog if it is the dummy created by the rule above.
# The sed construct below distinguishes between a file whose sole
# contents are "dummy", and a file whose first line is "dummy" but then
# has other stuff, without reading the whole thing.
distclean-local:
if test x"$(VPATH)" != x ; then rm -f GNUmakefile ; fi
if test "x`sed -ne 'l;2q' ChangeLog 2> /dev/null`" = 'xdummy$$'; \
then rm -f ChangeLog; fi
include $(srcdir)/bin/local.mk
include $(srcdir)/doc/local.mk