diff options
Diffstat (limited to 'tests/clean-tests.sh')
-rwxr-xr-x | tests/clean-tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/clean-tests.sh b/tests/clean-tests.sh index f7fefdda..7f18e6f0 100755 --- a/tests/clean-tests.sh +++ b/tests/clean-tests.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # remove all intermediate files from tests SCRIPT_DIR=$(dirname $(readlink -f $0)) |