Properly fix game flag handling (#4119)

* fix the fix for the fix

* fine there's no debug info then because of Ubuntu things
This commit is contained in:
kalaposfos13 2026-03-12 17:15:04 +01:00 committed by GitHub
parent c8b3d63e7e
commit 67ffd0334b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -99,7 +99,6 @@ int main(int argc, char* argv[]) {
const auto& extras = app.remaining();
if (!extras.empty()) {
gameArgs = extras;
gameArgs.erase(gameArgs.begin());
}
});
@ -143,6 +142,14 @@ int main(int argc, char* argv[]) {
return 1;
}
}
if (!gameArgs.empty()) {
if (gameArgs.front() == "--") {
gameArgs.erase(gameArgs.begin());
} else {
std::cerr << "Error: unhandled flags\n";
return 1;
}
}
// ---- Apply flags ----
if (patchFile)