FIX #1623: disable the timer signal when the system is idle (threaded RTS only)
[ghc-hetmet.git] / extra-gcc-opts.in
1 @GccExtraViaCOpts@