diff options
-rwxr-xr-x | test/bin/scala-test | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/bin/scala-test b/test/bin/scala-test index fed75e4e1a..8d855f040e 100755 --- a/test/bin/scala-test +++ b/test/bin/scala-test @@ -144,9 +144,12 @@ test_compilation_success() { test_compilation_failure() { ( + OBJDIR="$OBJDIR/"`dirname "$source"`; cd `dirname "$source"`; source=`basename "$source"`; - if test_compilation_success "$@"; then false; else true; fi; + if test_compilation_success "$@"; then false; else + rm -rf "$output"; + fi; ) } |