diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2018-09-30 16:32:22 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2018-10-05 06:21:59 +0200 |
| commit | cf4600ca455a7d7c3d9c49c4ae26d2d7b118063d (patch) | |
| tree | ed36af4151398d92539fbb4d3985a1f3b00dfd21 /README-hacking | |
| parent | 8d64416e8c96ce68d23d125b581cd86b73f0469c (diff) | |
| download | bison-cf4600ca455a7d7c3d9c49c4ae26d2d7b118063d.tar.gz | |
README-hacking: details about make check-local
Diffstat (limited to 'README-hacking')
| -rw-r--r-- | README-hacking | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/README-hacking b/README-hacking index 01d44429..4b92fcdd 100644 --- a/README-hacking +++ b/README-hacking @@ -190,12 +190,15 @@ Use liberally. ** TESTSUITEFLAGS -The default is for make check to run all tests sequentially. This can be -very time consumming when checking repeatedly or on slower setups. This can -be sped up in two ways: +To run just the testsuite (not the tests related to the examples), run `make +check-local`. + +The default is for make check-local to run all tests sequentially. This can +be very time consumming when checking repeatedly or on slower setups. This +can be sped up in two ways: Using -j, in a make-like fashion, for example: - $ make check TESTSUITEFLAGS='-j8' + $ make check-local TESTSUITEFLAGS='-j8' Running only the tests of a certain category, as specified in the AT files with AT_KEYWORDS([[category]]). Categories include: @@ -206,7 +209,7 @@ with AT_KEYWORDS([[category]]). Categories include: - report, for automaton dumps To run a specific set of tests, use -k (for "keyword"). For example: - $ make check TESTSUITEFLAGS='-k c++' + $ make check-local TESTSUITEFLAGS='-k c++' Both can be combined. |