new RTS flag: -V to modify the resolution of the RTS timer
[ghc-hetmet.git] / driver / ghci / ghcii.sh
1 #!/bin/sh
2 # Mini-driver for GHCi
3 exec "$0"/../ghc --interactive ${1+"$@"}