diff --git a/run_tests b/run_tests index 71ce18aa..122cd79e 100755 --- a/run_tests +++ b/run_tests @@ -1,4 +1,10 @@ -#/bin/sh +#/usr/bin/env bash + +echo '----- ulimits -----' +ulimit -a +echo '-------------------' +echo + set -o errexit set -o nounset set -o pipefail