Applied patch #2762516
[fw/sdcc] / src / SDCCutil.c
index ef2dfd0fe8f8067e7656498b665c90a8b5bd3cbc..c3880127f82741ec8c13b22862f905a8366f9eb4 100644 (file)
@@ -391,6 +391,14 @@ const char *getBuildNumber(void)
   return (SDCC_BUILD_NUMBER);
 }
 
+/*-----------------------------------------------------------------*/
+/* getBuildDate - return build date                                */
+/*-----------------------------------------------------------------*/
+const char *getBuildDate(void)
+{
+  return (__DATE__);
+}
+
 /*-----------------------------------------------------------------*/
 /* getBuildEnvironment - return environment used to build SDCC     */
 /*-----------------------------------------------------------------*/