diff options
-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 30a71ed87..159697a7e 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 |