diff --git a/tools/prune-trace/main.cc b/tools/prune-trace/main.cc index 6861e81c..709c22b1 100644 --- a/tools/prune-trace/main.cc +++ b/tools/prune-trace/main.cc @@ -82,8 +82,6 @@ int main(int argc, char *argv[]) { for (option::Option *o = cmd[VARIANT]; o; o = o->next()) { variants.push_back(std::string(o->arg)); } - } else { - variants.push_back(std::string("none")); } if (cmd[VARIANT_EXCLUDE]) { @@ -92,12 +90,15 @@ int main(int argc, char *argv[]) { } } + // fallback + if (variants.size() == 0 && variants_exclude.size() == 0) { + variants.push_back(std::string("none")); + } + if (cmd[BENCHMARK]) { for (option::Option *o = cmd[BENCHMARK]; o; o = o->next()) { benchmarks.push_back(std::string(o->arg)); } - } else { - benchmarks.push_back(std::string("none")); } if (cmd[BENCHMARK_EXCLUDE]) { @@ -106,6 +107,11 @@ int main(int argc, char *argv[]) { } } + // fallback + if (benchmarks.size() == 0 && benchmarks_exclude.size() == 0) { + benchmarks.push_back(std::string("none")); + } + if (!pruner->init(db, variants, variants_exclude, benchmarks, benchmarks_exclude)) { LOG << "pruner->init() failed" << endl; exit(-1);