summaryrefslogtreecommitdiff
path: root/driver/ghci/ghci.sh
blob: b0200477b833f7333595fe0592762f2b8f0b10da (plain)
1
2
# Mini-driver for GHCi
exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"}