Remove push-all from file list in boot script (push-all no longer exists)
[ghc-hetmet.git] / ghc / ghc.wrapper
1 exec "$executablename" -B"$topdir" -pgmc "$pgmgcc" ${1+"$@"}