diff options
Diffstat (limited to 'quickcheck/run.sh')
| -rw-r--r-- | quickcheck/run.sh | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/quickcheck/run.sh b/quickcheck/run.sh deleted file mode 100644 index cff728abee..0000000000 --- a/quickcheck/run.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/sh - -# I suck at bash scripting. Please feel free to make this code better. - -Root=../compiler - -ExtraOptions="-cpp -fglasgow-exts -package ghc" - -HC=$Root/stage2/ghc-inplace - -Debug="False" - -if [ "$1" == "debug" ] - then - Debug="True" -fi - -if [ "$1" == "ghci" ] - then - $HC --interactive $ExtraOptions $2 - else - $HC --interactive -e "runUnitTests $Debug" $ExtraOptions RunTests.hs -fi
\ No newline at end of file |