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

[ghc-hetmet.git] / settings.in

diff --git a/settings.in b/settings.in
new file mode 100644 (file)
index 0000000..d1a8077
--- /dev/null
+++ b/settings.in
@@ -0,0 +1,2 @@
+[("GCC extra via C opts", "@GccExtraViaCOpts@")]
+