diff --git a/ci/bin/run.sh b/ci/bin/run.sh index fd1c7ac..40b9115 100755 --- a/ci/bin/run.sh +++ b/ci/bin/run.sh @@ -4,7 +4,7 @@ set -e set -x _term() { - [[ -n "${SUDO_PID}" ]] && kill -- "${SUDO_PID}" + [[ -n "${SUDO_PID}" ]] && sudo kill -- "${SUDO_PID}" } trap _term EXIT