* src/SDCCutil.c,
[fw/sdcc] / src / SDCCmain.c
index 346950cf0588779197e2169b9736321d334ced61..77b695a107fbf95fef67b09e6f057e9129437e46 100644 (file)
@@ -426,8 +426,8 @@ printVersionInfo (FILE *stream)
 #ifdef SDCC_SUB_VERSION_STR
            "/" SDCC_SUB_VERSION_STR
 #endif
-           " #%s (" __DATE__ ") (%s)\n",
-           getBuildNumber(), getBuildEnvironment() );
+           " #%s (%s) (%s)\n",
+           getBuildNumber(), getBuildDate(), getBuildEnvironment() );
 }
 
 static void