diff options
Diffstat (limited to 'tests/ere.sh')
-rwxr-xr-x | tests/ere.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/ere.sh b/tests/ere.sh index 2ebdc632..b615bff2 100755 --- a/tests/ere.sh +++ b/tests/ere.sh @@ -15,5 +15,5 @@ failures=0 ${AWK-awk} -f $srcdir/ere.awk $srcdir/ere.tests > ere.script -sh ere.script && exit $failures +${SHELL-sh} ere.script && exit $failures exit 1 |