diff --git a/Boss/Main.cpp b/Boss/Main.cpp index ef11af5e1..ff9bf8f7e 100644 --- a/Boss/Main.cpp +++ b/Boss/Main.cpp @@ -74,8 +74,16 @@ class Main::Impl { if (system(os.str().c_str())) ; kill(getpid(), SIGSTOP); - } else + } else if (argv1 == "--developer") { + /* In the future we might want to do something, but for now + * accept and don't fail with usage message + */ + } else { + std::cerr << argv0 << ":" + << " Unrecognized option: " << argv1 + << std::endl; is_help = true; + } } }