From f37a5d2a3f2db33a04a7c456a24a3b45cbf38520 Mon Sep 17 00:00:00 2001
From: qrczak <unknown>
Date: Thu, 15 Feb 2001 19:43:18 +0000
Subject: [PATCH] [project @ 2001-02-15 19:43:18 by qrczak] Use "$@" instead
 of $* to pass commandline arguments safely.

---
 ghc/driver/ghci.sh |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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