From 81254285f1d5c602c39104b99f21da870f25f2dd Mon Sep 17 00:00:00 2001 From: Jan Kiene Date: Thu, 5 Dec 2024 13:17:31 +0100 Subject: [PATCH] fix missing space in test --- 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 e50d848f63..8a46dd003a 100755 --- a/ci/complexity_measurements/getWmops.sh +++ b/ci/complexity_measurements/getWmops.sh @@ -53,7 +53,7 @@ repo_arg_script="" if [ $# -eq 4 ]; then if [ "$4" = "basop" ]; then repo_arg_script="--basop" - elif [ "$4" != "float"]; then + elif [ "$4" != "float" ]; then usage fi fi -- GitLab