From 7cdd5316abaf91755edd9186d3836ff371902146 Mon Sep 17 00:00:00 2001
From: "Timothy M. Jones" <tjones1@inf.ed.ac.uk>
Date: Sat, 24 Oct 2009 10:53:57 -0700
Subject: syscall: Implementation of the time system call.

---
 src/kern/linux/linux.hh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/kern/linux/linux.hh')

diff --git a/src/kern/linux/linux.hh b/src/kern/linux/linux.hh
index 2df323712..736213762 100644
--- a/src/kern/linux/linux.hh
+++ b/src/kern/linux/linux.hh
@@ -62,6 +62,7 @@ class Linux : public OperatingSystem
     typedef uint64_t size_t;
     typedef uint64_t off_t;
     typedef int64_t time_t;
+    typedef int64_t clock_t;
     typedef uint32_t uid_t;
     typedef uint32_t gid_t;
     //@}
-- 
cgit v1.2.3