Commit b0e317c1 authored by Jan Kiene's avatar Jan Kiene
Browse files

Merge branch 'basop-ci/fix-if-in-getwmop-script' into 'basop-ci-branch' 

[BASOP-CI] fix getWmops.sh

See merge request !1892
parents 44d43292 91a3a902

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