diff --git a/test/run_tests b/test/run_tests index 46b9dcb31ac8a374dd685b02ea431902b41bf36a..6cb635945f9a31703142d424d8a99a172ae9988c 100755 --- a/test/run_tests +++ b/test/run_tests @@ -1,4 +1,4 @@ -#! /bin/sh +#! /bin/bash DIR=$(dirname $0)/.. if [ "$*" == "" ] then