diff options
| author | Jasper Hugunin | 2018-01-07 00:54:04 +0900 |
|---|---|---|
| committer | Jasper Hugunin | 2018-01-07 00:54:04 +0900 |
| commit | 2a483f7c7ef7ac0cecaef48b3bad3920cea31bb5 (patch) | |
| tree | 315796419dd64b37d314bcb3076b645985e90425 /dev | |
| parent | 8c1aa693f718414bba8cd1400d2b49ff39eeb828 (diff) | |
Mention -B argument of make to rerun tests
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions