From: Ian Lynagh <igloo@earth.li>
Date: Thu, 21 Apr 2011 18:36:52 +0000 (+0100)
Subject: Rename "extra-gcc-opts" to "settings", and start generalising it
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=f3a77b2f46ebc27716f45ae426a3b33b853d52f5;hp=f3a77b2f46ebc27716f45ae426a3b33b853d52f5;p=ghc-hetmet.git

Rename "extra-gcc-opts" to "settings", and start generalising it
---