diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-05-31 16:52:38 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-05-31 16:52:38 +0200 |
| commit | 38d3aa91fb67767b9bd8aec4d14de3fd275e3c2c (patch) | |
| tree | 76163ddb739d50110ba93ce356f376c3652f171b /test-suite/Makefile | |
| parent | 7c1b6714fe73c6cd8685bccef58eb6839a57fcb9 (diff) | |
Makefile.build: test-suite all = run + report, so don't report again
Diffstat (limited to 'test-suite/Makefile')
0 files changed, 0 insertions, 0 deletions