diff --git a/ci/complexity_measurements/getWmops.sh b/ci/complexity_measurements/getWmops.sh
index c252e4f4362b2ace4d68397ba646b334d187e4df..510236adce18060358c7ef6dad5c526e8e0c19e5 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