[project @ 2001-02-15 19:43:18 by qrczak]
authorqrczak <unknown>
Thu, 15 Feb 2001 19:43:18 +0000 (19:43 +0000)
committerqrczak <unknown>
Thu, 15 Feb 2001 19:43:18 +0000 (19:43 +0000)
commitf37a5d2a3f2db33a04a7c456a24a3b45cbf38520
treed8baa9cdbcf0955d78584ce75121f99519f6ff29
parent7d67a216958e8986cf067f96f9e9c7a4101fd29b
[project @ 2001-02-15 19:43:18 by qrczak]
Use "$@" instead of $* to pass commandline arguments safely.
ghc/driver/ghci.sh