[project @ 2001-02-15 22:34:48 by qrczak]
authorqrczak <unknown>
Thu, 15 Feb 2001 22:34:48 +0000 (22:34 +0000)
committerqrczak <unknown>
Thu, 15 Feb 2001 22:34:48 +0000 (22:34 +0000)
commit1c9b9d38f56f3e62d470345947ee07064ba4b4bb
tree2a37b68eb5bbb6dfa196b739515384b9a24e2081
parentf37a5d2a3f2db33a04a7c456a24a3b45cbf38520
[project @ 2001-02-15 22:34:48 by qrczak]
Use ${1+"$@"} instead of "$@". How stupid are those shells.
ghc/driver/ghci.sh