From 91a3a90286c123c03fa777d3bd21dcefb3f14db1 Mon Sep 17 00:00:00 2001 From: Jan Kiene Date: Fri, 6 Dec 2024 11:11:16 +0100 Subject: [PATCH] fix if condition for 4th arg to work with newly added 5th --- ci/complexity_measurements/getWmops.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/complexity_measurements/getWmops.sh b/ci/complexity_measurements/getWmops.sh index c252e4f436..510236adce 100755 --- a/ci/complexity_measurements/getWmops.sh +++ b/ci/complexity_measurements/getWmops.sh @@ -50,7 +50,7 @@ if [ $# -ge 3 ]; then fi repo_arg_script="" -if [ $# -eq 4 ]; then +if [ $# -ge 4 ]; then if [ "$4" = "basop" ]; then repo_arg_script="--basop" elif [ "$4" != "float" ]; then -- GitLab