diff options
-rw-r--r-- | 050scenario.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/050scenario.cc b/050scenario.cc index 6344c9a1..c5ff2765 100644 --- a/050scenario.cc +++ b/050scenario.cc @@ -93,6 +93,17 @@ for (index_t i = 0; i < Scenarios.size(); ++i) { if (Passed) cerr << "."; } +//: Convenience: run a single named scenario. +:(before "Loading Commandline Files") +if (argc == 2 && Run_tests) { + for (index_t i = 0; i < Scenarios.size(); ++i) { + if (Scenarios.at(i).name == argv[1]) { + run_mu_scenario(Scenarios.at(i)); + return 0; + } + } +} + :(before "End Globals") const scenario* Current_scenario = NULL; :(code) |