diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-10-12 15:26:01 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-10-12 23:35:43 +0200 |
| commit | 69e7322fdccaf28aad644ffaf9dedb7f21327f49 (patch) | |
| tree | a09d3d572f7935979fa3a524bfbc56d5a3560bd6 /gnu/local.mk | |
| parent | 402bb3b9f7eaaa66f2652fda2d9e0d2e34cf59f8 (diff) | |
build: Make 'assert-no-store-file-names' effective.
Lack of '-E' made it useless.
* Makefile.am (assert-no-store-file-names): Pass '-E' to grep. Add
'--exclude' and '--exclude-dir' flags.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions