- int res = firm_option(opt);
- if (res == 0) {
- fprintf(stderr, "error: unknown Firm option '-f %s'\n", opt);
- argument_errors = true;
- continue;
- } else if (res == -1) {
- help_displayed = true;
+
+ if(strcmp(opt, "omit-frame-pointer") == 0) {
+ firm_be_option("omitfp");
+ } else if(strcmp(opt, "no-omit-frame-pointer") == 0) {
+ firm_be_option("omitfp=no");
+ } else {
+ int res = firm_option(opt);
+ if (res == 0) {
+ fprintf(stderr, "error: unknown Firm option '-f %s'\n",
+ opt);
+ argument_errors = true;
+ continue;
+ } else if (res == -1) {
+ help_displayed = true;
+ }