Update

[l4.git] / l4 / pkg / l4re-core / libc_backends / lib / l4re / lib / clock.c

diff --git a/l4/pkg/l4re-core/libc_backends/lib/l4re/lib/clock.c b/l4/pkg/l4re-core/libc_backends/lib/l4re/lib/clock.c
new file mode 100644 (file)
index 0000000..c5a971f
--- /dev/null
+++ b/l4/pkg/l4re-core/libc_backends/lib/l4re/lib/clock.c
@@ -0,0 +1,6 @@
+#include <time.h>
+
+clock_t clock()
+{
+  return -1;
+}