bump test counter

This commit is contained in:
Christian Grothoff 2019-09-03 04:45:26 +02:00
parent 3eb0a3766f
commit dd6a006201
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

View File

@ -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