diff options
Diffstat (limited to 'test/c/run_tests.sh')
| -rwxr-xr-x | test/c/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/c/run_tests.sh b/test/c/run_tests.sh index 930c5bc8..e85881f5 100755 --- a/test/c/run_tests.sh +++ b/test/c/run_tests.sh @@ -75,7 +75,7 @@ do red "compiling $file" "fail" fi; rm -f ${file%.sail}.c - rm -r ${file%.sail}.result + rm -f ${file%.sail}.result done finish_suite "C testing" |