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/packages/patches/hdf4-reproducibility.patch | |
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/packages/patches/hdf4-reproducibility.patch')
0 files changed, 0 insertions, 0 deletions