diff --git a/utils/docker-run b/utils/docker-run index 0614f1325d..35153199a1 100755 --- a/utils/docker-run +++ b/utils/docker-run @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/usr/bin/env bash set -o errexit -o pipefail DIR=$(dirname "${0}") MAIN_DIR=$(readlink -f "${DIR}/..")