diff --git a/tools/prune-trace/main.cc b/tools/prune-trace/main.cc index 0a391889..4711a764 100644 --- a/tools/prune-trace/main.cc +++ b/tools/prune-trace/main.cc @@ -102,7 +102,10 @@ int main(int argc, char *argv[]) { } // Since the pruner might have added command line options, we need to // reparse all arguments. - cmd.parse(); + if (!cmd.parse()) { + std::cerr << "Error parsing arguments." << std::endl; + exit(-1); + } if (cmd[HELP] || cmd[UNKNOWN] || cmd.parser()->nonOptionsCount() > 0) { for (option::Option* opt = cmd[UNKNOWN]; opt; opt = opt->next()) {