X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=driver%2Fghci%2Fghci.sh;fp=driver%2Fghci%2Fghci.sh;h=0000000000000000000000000000000000000000;hb=d7323c8812f2a07a3f3a334730cf18ec0f5d41a1;hp=b0200477b833f7333595fe0592762f2b8f0b10da;hpb=6b6c06d3a95bcb08cf847e33e58aa2cdc32f0663;p=ghc-hetmet.git diff --git a/driver/ghci/ghci.sh b/driver/ghci/ghci.sh deleted file mode 100644 index b020047..0000000 --- a/driver/ghci/ghci.sh +++ /dev/null @@ -1,2 +0,0 @@ -# Mini-driver for GHCi -exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"}