Put the default value for -dppr-user-length in the manual
[ghc-hetmet.git] / driver / ghc / ghc.sh
1 # Mini-driver for GHC
2 exec $GHCBIN $TOPDIROPT ${1+"$@"}