core: Support time functions.
[mes.git] / lib / linux / libc.c
index 8231a778e180cd855c4b30ba3af85f1644fde846..011d20d677d168f6344e6ecd039892628ec4e96b 100644 (file)
@@ -149,3 +149,7 @@ fsync (int filedes)
 {
   return _sys_call1 (SYS_fsync, (int)filedes);
 }
+
+#include "linux/clock_gettime.c"
+#include "linux/gettimeofday.c"
+#include "linux/time.c"