diff options
Diffstat (limited to 'scripts/run_tests.sh')
| -rwxr-xr-x | scripts/run_tests.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh index 6a715f3783..e4c9e77eac 100755 --- a/scripts/run_tests.sh +++ b/scripts/run_tests.sh @@ -3,7 +3,10 @@ set -e set -o pipefail -CMD="build/${BUILDTYPE:-Release}/test" +if [ `uname -s` = 'Darwin' ]; then HOST=${HOST:-osx} ; else HOST=${HOST:-linux} ; fi + +CMD=$1 +shift # allow writing core files ulimit -c unlimited -S |