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

[ghc-hetmet.git] / extra-gcc-opts.in

diff --git a/extra-gcc-opts.in b/extra-gcc-opts.in
deleted file mode 100644 (file)
index 8c9832c..0000000
--- a/extra-gcc-opts.in
+++ /dev/null
@@ -1 +0,0 @@
-@GccExtraViaCOpts@