diff options
| author | Gaëtan Gilbert | 2019-04-02 14:15:20 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-04-02 15:22:37 +0200 |
| commit | 772b2d1e61d7af71c3e7f81d857fd5c945e9ffb8 (patch) | |
| tree | 21abbb8470164e8c7dbfdabdabffbf98633ce221 /dev | |
| parent | 974dc811fe30a762235b68fb3c0ac5c3eeca45b9 (diff) | |
coqchk: do not validate dependencies of -norec libraries
For instance this halves the time it takes to check
the test-suite/arithmetic/ files.
on mod: 7.5s to 3.4s
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions