-
Simon Marlow authored
We don't pass --old-ghc to Happy any more. Also, wire $(HappyOpts) to -agc in config.mk rather than passing it through from configure, since it was always the same anyhow.
b719831c
We don't pass --old-ghc to Happy any more. Also, wire $(HappyOpts) to -agc in config.mk rather than passing it through from configure, since it was always the same anyhow.