[project @ 2001-02-15 22:34:48 by qrczak]

Use ${1+"$@"} instead of "$@". How stupid are those shells.

diff --git a/ghc/driver/ghci.sh b/ghc/driver/ghci.sh
index f92be5b..bed86ed 100644 (file)
--- a/ghc/driver/ghci.sh
+++ b/ghc/driver/ghci.sh
@@ -1,2 +1,2 @@
 # Mini-driver for GHCi
-exec $GHCBIN --interactive "$@"
+exec $GHCBIN --interactive ${1+"$@"}