diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/ghci/ghcii.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/ghci/ghcii.sh b/driver/ghci/ghcii.sh index 70d98988b8..10488b8d5b 100644 --- a/driver/ghci/ghcii.sh +++ b/driver/ghci/ghcii.sh @@ -1,3 +1,3 @@ #!/bin/sh # Mini-driver for GHCi -exec $0/../ghc --interactive ${1+"$@"} +exec "$0"/../ghc --interactive ${1+"$@"} |