From 1c9b9d38f56f3e62d470345947ee07064ba4b4bb Mon Sep 17 00:00:00 2001
From: qrczak <unknown>
Date: Thu, 15 Feb 2001 22:34:48 +0000
Subject: [PATCH] [project @ 2001-02-15 22:34:48 by qrczak] Use ${1+"$@"}
 instead of "$@". How stupid are those shells.

---
 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 f92be5b..bed86ed 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+"$@"}
-- 
1.7.10.4