Merge pull request #456 from Wuerfel21/W21-warn-on-unrecognized-optflag

Change unrecognized optimization flag to warning
totalspectrum · Nov 21, 2024 · 432f273 · 432f273
2 parents 9858889 + c83004f
commit 432f273
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/cmdline.c b/cmdline.c
@@ -603,8 +603,7 @@ int ParseOptimizeString(AST *line, const char *str, int *flag_ptr)
             }
         }
         if (!bits) {
-            ERROR(line, "Unrecognized optimization flag: %s", buf);
-            return 0;
+            WARNING(line, "Unrecognized optimization flag: %s", buf);
         }
         if (notflag) {
             flags &= ~bits;