diff options
author | Andy Wingo <wingo@pobox.com> | 2022-02-10 21:40:43 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2022-02-10 21:40:43 +0100 |
commit | e734a6a607b3f25c36c9282489a9cc7c6b7e4162 (patch) | |
tree | 3f30afc2813d5a4f45e67f78a7994dc8ecdbe2d7 | |
parent | 5319fd38e25becdb744309db18094743f35eb50e (diff) |
Exclude ChangeLog from assert-no-store-file-names distcheck rulev3.0.8
* Makefile.am (assert-no-store-file-names): Remove ChangeLog.
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 399946e4b..3701a12f1 100644 --- a/Makefile.am +++ b/Makefile.am @@ -114,7 +114,7 @@ gen-ChangeLog: # name, for maintainers who use Guix. .PHONY: assert-no-store-file-names assert-no-store-file-names: - if grep -rE "/gnu/store/[a-z0-9]{32}-" $(distdir) ; \ + if grep --exclude=ChangeLog -rE "/gnu/store/[a-z0-9]{32}-" $(distdir) ; \ then \ echo "error: store file names embedded in the distribution" >&2 ; \ exit 1 ; \ |