diff --git a/ci/complexity_measurements/getWmops.sh b/ci/complexity_measurements/getWmops.sh index e50d848f635b771e6dc516ffd10917ac0fb5e03c..8a46dd003a92c777b38fd68c4df2bb5094079e1d 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