ignore some gcc options
authorMatthias Braun <matze@braunis.de>
Wed, 30 Jul 2008 14:45:51 +0000 (14:45 +0000)
committerMatthias Braun <matze@braunis.de>
Wed, 30 Jul 2008 14:45:51 +0000 (14:45 +0000)
[r20813]

main.c

diff --git a/main.c b/main.c
index 9fa1c8f..b910ea4 100644 (file)
--- a/main.c
+++ b/main.c
@@ -545,6 +545,11 @@ int main(int argc, char **argv)
                                        set_be_option("omitfp");
                                } else if(strcmp(opt, "no-omit-frame-pointer") == 0) {
                                        set_be_option("omitfp=no");
+                               } else if(strcmp(opt, "fast-math") == 0
+                                               || strcmp(opt, "unroll-loops") == 0
+                                               || strcmp(opt, "expensive-optimizations") == 0
+                                               || strcmp(opt, "no-common") == 0) {
+                                       fprintf(stderr, "ignoring gcc option '-f %s'\n", opt);
                                } else {
                                        int res = firm_option(opt);
                                        if (res == 0) {