diff options
Diffstat (limited to 'base/main.cpp')
| -rw-r--r-- | base/main.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/base/main.cpp b/base/main.cpp index a0792a9ad2..5c978fdc0a 100644 --- a/base/main.cpp +++ b/base/main.cpp @@ -111,10 +111,8 @@ static const EnginePlugin *detectPlugin() { printf("failed\n"); warning("%s is an invalid gameid. Use the --list-games option to list supported gameid", gameid.c_str()); } else { - printf("%s\n", plugin->getName()); - - // FIXME: Do we really need this one? - printf(" Starting '%s'\n", game.description().c_str()); + // FIXME: Do we really need this one? (BADA: for some unknown reason the format string "%s\n" causes a core-dump) + printf("%s\n Starting '%s'\n", plugin->getName(), game.description().c_str()); } return plugin; |