diff options
Diffstat (limited to 'docker-run.sh')
-rwxr-xr-x | docker-run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker-run.sh b/docker-run.sh index ca347447..c626de11 100755 --- a/docker-run.sh +++ b/docker-run.sh @@ -2,6 +2,7 @@ set -euf -o pipefail +# shellcheck source=jenkins-helpers.sh . "$(dirname $0)"/jenkins-helpers.sh convert_args_to_variables "$@" shift "$SHIFT_CONVERTED_ARGS" |