remove the last bits of the ghc/ subdir

[ghc-hetmet.git] / ghc / quickcheck / run.sh

diff --git a/ghc/quickcheck/run.sh b/ghc/quickcheck/run.sh
deleted file mode 100644 (file)
index cff728a..0000000
--- a/ghc/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