diff options
author | Andor Penzes <andor.penzes@gmail.com> | 2016-01-26 23:37:10 +0100 |
---|---|---|
committer | Andor Penzes <andor.penzes@gmail.com> | 2016-01-26 23:37:32 +0100 |
commit | 5ab24a9396fb7a4e745500d6e88b86b8be7c9077 (patch) | |
tree | 4ae05b2b4c41dfb1eb5701274fedb2d650579e57 /run-test-suite.sh | |
parent | 738568eeb34eb4ef4972d0ad137ce931f3dcb1f0 (diff) |
FIX: Remove tix file after coverage run.
Diffstat (limited to 'run-test-suite.sh')
-rwxr-xr-x | run-test-suite.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-test-suite.sh b/run-test-suite.sh index 5a7cead1..9764d750 100755 --- a/run-test-suite.sh +++ b/run-test-suite.sh | |||
@@ -16,7 +16,7 @@ if [ "$1" == "--profile" ] ; then | |||
16 | cabal run lambdacube-compiler-coverage-test-suite -- -r $@ +RTS -p | 16 | cabal run lambdacube-compiler-coverage-test-suite -- -r $@ +RTS -p |
17 | RESULT_TESTS=`echo $?` | 17 | RESULT_TESTS=`echo $?` |
18 | ./create-test-report.sh | 18 | ./create-test-report.sh |
19 | rm lambdacube-compiler-test-suite.tix | 19 | rm lambdacube-compiler-coverage-test-suite.tix |
20 | cabal sandbox delete | 20 | cabal sandbox delete |
21 | cabal clean | 21 | cabal clean |
22 | rm -rf /tmp/ir | 22 | rm -rf /tmp/ir |