diff options
Diffstat (limited to 'driver/ghc/ghc.sh')
| -rw-r--r-- | driver/ghc/ghc.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/driver/ghc/ghc.sh b/driver/ghc/ghc.sh deleted file mode 100644 index 780b9498be..0000000000 --- a/driver/ghc/ghc.sh +++ /dev/null @@ -1,2 +0,0 @@ -# Mini-driver for GHC -exec $GHCBIN $TOPDIROPT ${1+"$@"} |