diff --git a/run_in_docker.sh b/run_in_docker.sh index ba95243bd..80e29a966 100755 --- a/run_in_docker.sh +++ b/run_in_docker.sh @@ -1,3 +1,5 @@ +#!/bin/bash + # Copyright 2018 Google LLC # # Licensed under the Apache License, Version 2.0 (the "License"); @@ -12,7 +14,6 @@ # See the License for the specific language governing permissions and # limitations under the License. -#!/bin/bash set -e if [ $# -lt 3 ]; then