diff --git a/src/Main/options.cxx b/src/Main/options.cxx index fbe82388c..d9268e939 100644 --- a/src/Main/options.cxx +++ b/src/Main/options.cxx @@ -1213,6 +1213,7 @@ static int fgOptFpe(const char* arg) { // Actually handled in bootstrap.cxx + return FG_OPTIONS_OK; } static map fgOptionMap;