return (SDCC_BUILD_NUMBER);
}
+/*-----------------------------------------------------------------*/
+/* getBuildDate - return build date */
+/*-----------------------------------------------------------------*/
+const char *getBuildDate(void)
+{
+ return (__DATE__);
+}
+
/*-----------------------------------------------------------------*/
/* getBuildEnvironment - return environment used to build SDCC */
/*-----------------------------------------------------------------*/