diff options
Diffstat (limited to 'tests/run_tests.sh')
| -rwxr-xr-x | tests/run_tests.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests.sh index 0c9b3149590..52e46337720 100755 --- a/tests/run_tests.sh +++ b/tests/run_tests.sh @@ -8,7 +8,7 @@ tmp=/tmp run() { echo running $1 - /bin/rm -f core + /bin/rm -f core log/$1.log ./$1 status=$? @@ -21,7 +21,11 @@ run() echo \"$1\" dumped core!!!! fi - ./run_tests.check log/$1.log + if [ -f log/$1.log ]; then + ./run_tests.check log/$1.log + else + echo No log file (log/$1.log) is present + fi } echo "Starting tests..." |