From 1f3abd523379627136fd3dba855c49740a7f57ce Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Fri, 24 Jan 2025 09:59:40 +0100 Subject: [PATCH] build-gnu.sh: also ignore t37 from factor Closes: #7179 --- util/build-gnu.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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