diff options
| author | Ian Lynagh <igloo@earth.li> | 2007-06-02 12:11:59 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2007-06-02 12:11:59 +0000 |
| commit | d7323c8812f2a07a3f3a334730cf18ec0f5d41a1 (patch) | |
| tree | a5c157fd3984168a32b989f7ba735efef00f855d /driver | |
| parent | 6b6c06d3a95bcb08cf847e33e58aa2cdc32f0663 (diff) | |
| download | haskell-d7323c8812f2a07a3f3a334730cf18ec0f5d41a1.tar.gz | |
Remove now-unused files
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/ghci/ghci.sh | 2 | ||||
| -rw-r--r-- | driver/ghci/ghcii.sh | 3 |
2 files changed, 0 insertions, 5 deletions
diff --git a/driver/ghci/ghci.sh b/driver/ghci/ghci.sh deleted file mode 100644 index b0200477b8..0000000000 --- a/driver/ghci/ghci.sh +++ /dev/null @@ -1,2 +0,0 @@ -# Mini-driver for GHCi -exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"} diff --git a/driver/ghci/ghcii.sh b/driver/ghci/ghcii.sh deleted file mode 100644 index 10488b8d5b..0000000000 --- a/driver/ghci/ghcii.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -# Mini-driver for GHCi -exec "$0"/../ghc --interactive ${1+"$@"} |