diff options
author | Simon Glass <sjg@chromium.org> | 2012-01-10 15:54:06 -0800 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2012-03-12 11:03:42 -0400 |
commit | 3bdf56b78668769c091a74b40059a2ff14c5b80c (patch) | |
tree | f9e0d7eb963931f20b480066bc6adcab2e2f5f4f /arch/sandbox | |
parent | e101247212f3aba3ece22c66e46e3fca89c0c768 (diff) |
sandbox: add required header to os.c
We should include the sys/time.h header to avoid warnings.
Signed-off-by: Simon Glass <sjg@chromium.org>
Signed-off-by: Mike Frysinger <vapier@gentoo.org>
Diffstat (limited to 'arch/sandbox')
-rw-r--r-- | arch/sandbox/cpu/os.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/sandbox/cpu/os.c b/arch/sandbox/cpu/os.c index a1d324b51f6..093e7dc7ad3 100644 --- a/arch/sandbox/cpu/os.c +++ b/arch/sandbox/cpu/os.c @@ -27,6 +27,7 @@ #include <unistd.h> #include <sys/mman.h> #include <sys/stat.h> +#include <sys/time.h> #include <sys/types.h> #include <linux/types.h> |