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 /common/Makefile | |
| 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 'common/Makefile')
0 files changed, 0 insertions, 0 deletions