- const string months("Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec");
- const string cpu64(CpuIs64Bit ? " 64bit" : "");
-
- if (!EngineVersion.empty())
- return AppName + " " + EngineVersion + cpu64;
-
- stringstream s, date(__DATE__); // From compiler, format is "Sep 21 2008"
- string month, day, year;
-
- date >> month >> day >> year;