| commit | 782f370597c662cea463b57788748a0e28973b7e | [log] [tgz] |
|---|---|---|
| author | mjw <mjw@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Oct 02 11:39:41 2013 +0000 |
| committer | mjw <mjw@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Oct 02 11:39:41 2013 +0000 |
| tree | d154f4c02b6f5d15e5733d4aeb4eb3b9440aca76 | |
| parent | 176048dcf6ac4f612f099fd076060e9fd62310b8 [diff] |
Add post_regtest_checks check_headers_and_includes to dist_noinst_SCRIPTS. Also allow a .git directory in check_headers_and_includes to help people using a git mirror of valgrind/VEX svn. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13601 a5019735-40e9-0310-863c-91ae7b9d1cf9