diff options
| author | José Fonseca <[email protected]> | 2010-02-04 14:38:14 +0000 |
|---|---|---|
| committer | José Fonseca <[email protected]> | 2010-02-04 14:39:30 +0000 |
| commit | f769ab0fa63754de317bafe2a7baf8fe401b961c (patch) | |
| tree | bd489833b8cefd26c0879e77ec056cdd6fad9cfd /src | |
| parent | d015dfb45abe53caaa6a754c8008c878af3ea707 (diff) | |
util: Disable u_time.c implementation for embedded.
This needs to go into OS module.
Diffstat (limited to 'src')
| -rw-r--r-- | src/gallium/auxiliary/util/u_time.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gallium/auxiliary/util/u_time.c b/src/gallium/auxiliary/util/u_time.c index b958a986353..806708b2dc8 100644 --- a/src/gallium/auxiliary/util/u_time.c +++ b/src/gallium/auxiliary/util/u_time.c @@ -35,6 +35,8 @@ #include "pipe/p_config.h" +#if !defined(PIPE_OS_EMBEDDED) + #if defined(PIPE_OS_LINUX) || defined(PIPE_OS_BSD) || defined(PIPE_OS_SOLARIS) || defined(PIPE_OS_APPLE) || defined(PIPE_OS_HAIKU) #include <sys/time.h> #elif defined(PIPE_SUBSYSTEM_WINDOWS_DISPLAY) @@ -223,3 +225,5 @@ void util_time_sleep(unsigned usecs) Sleep((usecs + 999)/ 1000); } #endif + +#endif /* !PIPE_OS_EMBEDDED */ |