diff options
Diffstat (limited to 'run-test-suite.sh')
-rwxr-xr-x | run-test-suite.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run-test-suite.sh b/run-test-suite.sh index e8d6d9c6..5f644ca1 100755 --- a/run-test-suite.sh +++ b/run-test-suite.sh | |||
@@ -8,7 +8,7 @@ if [ "$1" == "--profile" ] ; then | |||
8 | cabal configure --flags "profiling onlytestsuite" --enable-library-profiling --enable-executable-profiling | 8 | cabal configure --flags "profiling onlytestsuite" --enable-library-profiling --enable-executable-profiling |
9 | set +e | 9 | set +e |
10 | RESULT_UNITTESTS=0 | 10 | RESULT_UNITTESTS=0 |
11 | cabal run lambdacube-compiler-test-suite -- -r -iperformance $@ +RTS -p | 11 | cabal run lambdacube-compiler-test-suite -- -r -iperformance -i.ignore $@ +RTS -p |
12 | RESULT_TESTS=`echo $?` | 12 | RESULT_TESTS=`echo $?` |
13 | elif [ "$1" == "--coverage" ] ; then | 13 | elif [ "$1" == "--coverage" ] ; then |
14 | shift | 14 | shift |
@@ -26,7 +26,7 @@ else | |||
26 | cabal install --only-dependencies -j1 | 26 | cabal install --only-dependencies -j1 |
27 | cabal run lambdacube-compiler-unit-tests -- $UNIT_TEST_PARAMS | 27 | cabal run lambdacube-compiler-unit-tests -- $UNIT_TEST_PARAMS |
28 | RESULT_UNITTESTS=`echo $?` | 28 | RESULT_UNITTESTS=`echo $?` |
29 | cabal run lambdacube-compiler-test-suite -- -iperformance -r $@ | 29 | cabal run lambdacube-compiler-test-suite -- -iperformance -i.ignore -r $@ |
30 | RESULT_TESTS=`echo $?` | 30 | RESULT_TESTS=`echo $?` |
31 | fi | 31 | fi |
32 | 32 | ||