* device/lib/time.c (mktime): fixed bug 1334315

[fw/sdcc] / src / SDCCutil.h

diff --git a/src/SDCCutil.h b/src/SDCCutil.h
index e5f64d74ad35c50e3bfbcc802adb81b688731cfd..c939868a38534a09c5d277a12c5bb64ccc314d62 100644 (file)
--- a/src/SDCCutil.h
+++ b/src/SDCCutil.h
@@ -85,6 +85,15 @@ char *strncpyz(char *dest, const char *src, size_t n);
  */
 char *strncatz(char *dest, const char *src, size_t n);
 
+/* return SDCC build number */
+const char *getBuildNumber(void);
+
+/* convert a fixed16x16 type to double */
+double doubleFromFixed16x16(TYPE_UDWORD value);
+
+/* convert a double type to fixed16x16 */
+TYPE_UDWORD fixed16x16FromDouble(double value);
+
 /* snprintf, by hook or by crook. */
 size_t SDCCsnprintf(char *, size_t, const char *, ...);