From ea534dd6232eade33f3aecc3c35cc3724b841f20 Mon Sep 17 00:00:00 2001 From: Matthias Braun Date: Wed, 30 Jul 2008 14:45:51 +0000 Subject: [PATCH] ignore some gcc options [r20813] --- main.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/main.c b/main.c index 9fa1c8f..b910ea4 100644 --- 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) { -- 2.20.1