diff --git a/activated.sh b/activated.sh index d44208f37845..7a938f7b0701 100755 --- a/activated.sh +++ b/activated.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash set -o errexit diff --git a/tools/run_benchmark.sh b/tools/run_benchmark.sh index 4f3c9f83e15c..f3389f8aa52d 100755 --- a/tools/run_benchmark.sh +++ b/tools/run_benchmark.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # pass in the name of the test run as the first argument