diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-05-04 09:48:52 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-05-04 09:48:52 -0700 |
| commit | d12c040d58d70555cc98e397e05ab0d8326b6aca (patch) | |
| tree | 3c0052d750bd1e2a1f26f385374ce2e06949588a /man/man1 | |
| parent | 645bcf6a39a534ae2e8840e73196b24c9f24c145 (diff) | |
Improved 'make leakcheck'.
* We now return an error status if anything in the loop fails.
* We now check --smart and --normalize options.
Diffstat (limited to 'man/man1')
0 files changed, 0 insertions, 0 deletions