diff --git a/util/build-gnu.sh b/util/build-gnu.sh index 5cd12fa2d..e2089e560 100755 --- a/util/build-gnu.sh +++ b/util/build-gnu.sh @@ -150,7 +150,7 @@ else # Handle generated factor tests t_first=00 - t_max=36 + t_max=37 # t_max_release=20 # if test "${UU_MAKE_PROFILE}" != "debug"; then # # Generate the factor tests, so they can be fixed