- // Disable IO buffering
- cout.rdbuf()->pubsetbuf(NULL, 0);
- cin.rdbuf()->pubsetbuf(NULL, 0);
-
- // Initialization through global resources manager
- Application::initialize();
-
-#ifdef USE_CALLGRIND
- CALLGRIND_START_INSTRUMENTATION;
-#endif
-
- if (argc <= 1)
- {
- // Print copyright notice
- cout << engine_name()
- << " by Tord Romstad, Marco Costalba, Joona Kiiski" << endl;