Fix #3412: the worker of an Id might not be a local Id
[ghc-hetmet.git] / extra-gcc-opts.in
1 @GccExtraViaCOpts@