Pass argc and argv through to DrivenEngine::event_init
This commit is contained in:
@@ -33,7 +33,7 @@ static void usage() {
|
||||
int main(int argc, char **argv)
|
||||
{
|
||||
UniqueDrivenEngine engine;
|
||||
if (argc != 2) usage();
|
||||
if (argc < 2) usage();
|
||||
std::string mode = argv[1];
|
||||
for (int i = 0; makers[i].name != nullptr; i++) {
|
||||
if (mode == makers[i].name) {
|
||||
@@ -42,6 +42,8 @@ int main(int argc, char **argv)
|
||||
}
|
||||
}
|
||||
if (engine == nullptr) usage();
|
||||
driver_drive(engine.get());
|
||||
// Remove one argument from the argument vector,
|
||||
// so that it looks like a normal argument vector.
|
||||
driver_drive(engine.get(), argc - 1, argv + 1);
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user