diff --git a/run-in-docker.sh b/run-in-docker.sh index ab46f2ed07e..01dbdfb5647 100755 --- a/run-in-docker.sh +++ b/run-in-docker.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -exo pipefail cd "$(dirname ${BASH_SOURCE})"