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

Merge branch 'ci/get-wmops-sh-non-strict-mode-for-main' into 'main' 

[CI] do not use bash strict mode for getWmops.sh - changes for main

See merge request !2005
parents eff57e34 bca4076e

ci/complexity_measurements/getWmops.sh

+0 −2
Original line number Diff line number Diff line
@@ -28,8 +28,6 @@ 
# accordance with the laws of the Federal Republic of Germany excluding its conflict of law rules and

# the United Nations Convention on Contracts on the International Sales of Goods.



set -euxo pipefail



function usage {

  echo "Usage: $0 \"ivas-format(s)\" \"output-format(s)\" \"mode{full(default)|mem_only}\" \"repo{float(default)|basop}\" [wmops_ref_logfile]"

  exit 1