Commit 91a3a902 authored by Jan Kiene's avatar Jan Kiene
Browse files

fix if condition for 4th arg to work with newly added 5th

parent 44d43292

ci/complexity_measurements/getWmops.sh

+1 −1
Original line number Diff line number Diff line
@@ -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