* configure.in,
[fw/sdcc] / src / SDCCutil.h
index 6e3800b764b759724f2fc1e8e4703a4e16c05e52..b2e732f700b2ca5c5b19e7eb9c20da1db3f1c689 100644 (file)
@@ -102,6 +102,9 @@ char *strncatz (char *dest, const char *src, size_t n);
 /* return SDCC build number */
 const char *getBuildNumber (void);
 
+/* return environment used to build SDCC */
+const char *getBuildEnvironment(void);
+
 /* snprintf, by hook or by crook. */
 size_t SDCCsnprintf (char *, size_t, const char *, ...);