Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
#define _CLOCKID_T_DECLARED
#endif
-#ifndef _TIME_T_DECLARED
+#ifndef __time_t_defined
typedef __time_t time_t;
+#define __time_t_defined
#define _TIME_T_DECLARED
#endif
#define SCNxFAST16 __SCN16(x)
/* 32-bit types */
-#if __have_long32
+// XXX: PRI*32 l##x for 32-bit Barrelfish makes problems. -SG, 2015-06-01.
+#if __have_long32 && !defined(BARRELFISH)
#define __PRI32(x) __STRINGIFY(l##x)
#define __SCN32(x) __STRINGIFY(l##x)
#else
"strcspn.c",
"strdup.c",
"strdup_r.c",
+ "strerror.c",
"strlcat.c",
"strlcpy.c",
"strlen.c",