diff --git a/industrial_ci/src/util.sh b/industrial_ci/src/util.sh index bf40b7bf3..cb176b4b7 100644 --- a/industrial_ci/src/util.sh +++ b/industrial_ci/src/util.sh @@ -491,12 +491,8 @@ function ici_parse_jobs { _ici_parse_jobs_res="$3";; "true") _ici_parse_jobs_res="0";; - "True") - _ici_parse_jobs_res="0";; "false") _ici_parse_jobs_res="1";; - "False") - _ici_parse_jobs_res="1";; *) if ! [[ "$_ici_parse_jobs_res" =~ ^[0-9]+$ ]]; then ici_error "cannot parse $2=$_ici_parse_jobs_res as a number"