-const std::string engine_name() {
- if(EngineVersion == "") {
- static const char monthNames[12][4] = {
- "Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec"
- };
- const char *dateString = __DATE__;
- std::stringstream s;
- int month = 0, day = 0;
+const string engine_name() {
+
+ const string cpu64(CpuHas64BitPath ? " 64bit" : "");
+
+ if (!EngineVersion.empty())
+ return AppName+ " " + EngineVersion + cpu64;
+
+ string date(__DATE__); // From compiler, format is "Sep 21 2008"
+ string months("Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec");
+
+ size_t mon = 1 + months.find(date.substr(0, 3)) / 4;