Rename "extra-gcc-opts" to "settings", and start generalising it
authorIan Lynagh <igloo@earth.li>
Thu, 21 Apr 2011 18:36:52 +0000 (19:36 +0100)
committerIan Lynagh <igloo@earth.li>
Thu, 21 Apr 2011 21:48:10 +0000 (22:48 +0100)
commitf3a77b2f46ebc27716f45ae426a3b33b853d52f5
treebe7fcec319ab3210f6d0769d9367c3aa987eef93
parent70f79a6c3c40ca95efc1e2371f663c68c3bb5f08
Rename "extra-gcc-opts" to "settings", and start generalising it
13 files changed:
compiler/main/DriverPipeline.hs
compiler/main/DynFlags.hs
compiler/main/SysTools.lhs
compiler/utils/Util.lhs
configure.ac
distrib/Makefile
distrib/configure.ac.in
extra-gcc-opts.in [deleted file]
ghc.mk
ghc/Main.hs
ghc/ghc-bin.cabal.in
ghc/ghc.mk
settings.in [new file with mode: 0644]