diff --git a/industrial_ci/src/util.sh b/industrial_ci/src/util.sh index 5f62ea8e6..6f1cebd8b 100644 --- a/industrial_ci/src/util.sh +++ b/industrial_ci/src/util.sh @@ -92,7 +92,7 @@ function ici_with_unset_variables { } function _sub_shell() ( - # shellcheck disable=SC2317 + # shellcheck disable=SC2317,SC2329 function rosenv() { # if current_ws not set, use an invalid path to skip it for e in $(ici_extend_space "${current_ws:-/dev/null}") $(ici_extend_space "$BASEDIR/${PREFIX}downstream_ws") $(ici_extend_space "$BASEDIR/${PREFIX}target_ws") $(ici_extend_space "$BASEDIR/${PREFIX}base_ws") $(ici_extend_space "$BASEDIR/${PREFIX}upstream_ws") "$UNDERLAY"; do