[project @ 2001-02-15 19:43:18 by qrczak]

Use "$@" instead of $* to pass commandline arguments safely.

diff --git a/ghc/driver/ghci.sh b/ghc/driver/ghci.sh
index 2df307b..f92be5b 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 "$@"