diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-09-03 04:45:26 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-09-03 04:45:26 +0200 |
| commit | dd6a00620161edff94ae47db55fb2f9d19effa98 (patch) | |
| tree | c2e3e35ab3c8636130c159a1010a46cfc2ca86bb /src | |
| parent | 3eb0a3766f73f01105e7ee894f03617b0ca9a0b0 (diff) | |
bump test counter
Diffstat (limited to 'src')
| -rwxr-xr-x | src/auditor/test-auditor.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/auditor/test-auditor.sh b/src/auditor/test-auditor.sh index f4d176289..f51ec473f 100755 --- a/src/auditor/test-auditor.sh +++ b/src/auditor/test-auditor.sh @@ -9,7 +9,7 @@ set -eu # Set of numbers for all the testcases. # When adding new tests, increase the last number: -ALL_TESTS=`seq 0 4` +ALL_TESTS=`seq 0 5` # $TESTS determines which tests we should run. # This construction is used to make it easy to |