Use timer_create() for the interval timer, if available
[ghc-hetmet.git] / driver / ghci / ghci.sh
1 # Mini-driver for GHCi
2 exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"}