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 | |
| parent | 8c1aa693f718414bba8cd1400d2b49ff39eeb828 (diff) | |
Mention -B argument of make to rerun tests
| -rw-r--r-- | test-suite/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test-suite/README.md b/test-suite/README.md index 30a71ed87e..159697a7e1 100644 --- a/test-suite/README.md +++ b/test-suite/README.md @@ -3,6 +3,7 @@ The test suite can be run from the root directory by `make test-suite`. From this directory, `make aaa/bbb/ccc.v.log` runs one test (if not already run), storing the output in the named `.log` file. +`make -B` can be used to rerun the test (`-B` meaning always remake). See [`test-suite/Makefile`](/test-suite/Makefile) for more information. ## Adding a test |