diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2016-12-17 00:21:23 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2016-12-17 00:21:23 +0100 |
| commit | 76b3fbbce65ff9b32da07062d9b03a4876c200a1 (patch) | |
| tree | a08776bfafdaccd91e1da95fb29c1a4bfbfd3707 /Makefile.am | |
| parent | f8faf537cae393b9d9bdb7fd476ad5f79dedaf91 (diff) | |
build: assert-no-store-file-names: Ignore ChangeLog.
* Makefile.am (assert-no-store-file-names): Ignore /gnu/store file names
in the ChangeLog, because they might be examples in commit messages.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index de0de7189d..8dda2f6057 100644 --- a/Makefile.am +++ b/Makefile.am @@ -507,6 +507,7 @@ assert-no-store-file-names: --exclude=*.info-[0-9] --exclude=*.dot \ --exclude=*.eps --exclude-dir=bootstrap \ --exclude=guix-prettify.el \ + --exclude=ChangeLog \ -E "$(storedir)/[a-z0-9]{32}-" $(distdir) ; \ then \ echo "error: store file names embedded in the distribution" >&2 ; \ |