Rename "extra-gcc-opts" to "settings", and start generalising it
Showing
- compiler/main/DriverPipeline.hs 1 addition, 1 deletioncompiler/main/DriverPipeline.hs
- compiler/main/DynFlags.hs 41 additions, 34 deletionscompiler/main/DynFlags.hs
- compiler/main/SysTools.lhs 15 additions, 6 deletionscompiler/main/SysTools.lhs
- compiler/utils/Util.lhs 14 additions, 0 deletionscompiler/utils/Util.lhs
- configure.ac 1 addition, 1 deletionconfigure.ac
- distrib/Makefile 1 addition, 1 deletiondistrib/Makefile
- distrib/configure.ac.in 1 addition, 1 deletiondistrib/configure.ac.in
- extra-gcc-opts.in 0 additions, 1 deletionextra-gcc-opts.in
- ghc.mk 6 additions, 6 deletionsghc.mk
- ghc/Main.hs 26 additions, 13 deletionsghc/Main.hs
- ghc/ghc-bin.cabal.in 1 addition, 1 deletionghc/ghc-bin.cabal.in
- ghc/ghc.mk 5 additions, 5 deletionsghc/ghc.mk
- settings.in 2 additions, 0 deletionssettings.in
Loading
Please register or sign in to comment