diff options
author | Nicolai Hähnle <[email protected]> | 2017-10-22 17:38:44 +0200 |
---|---|---|
committer | Nicolai Hähnle <[email protected]> | 2017-11-09 11:57:21 +0100 |
commit | 222a2fb99859f3ac237def59d40413bb1a464f11 (patch) | |
tree | e29bdd5a50afc58290496c87cf1541f1cc5426f4 /src/gallium/auxiliary/Makefile.sources | |
parent | f76a6cb337f979fb26d3233d7e0ff208ec8885bb (diff) |
util: move os_time.[ch] to src/util
Reviewed-by: Marek Olšák <[email protected]>
Diffstat (limited to 'src/gallium/auxiliary/Makefile.sources')
-rw-r--r-- | src/gallium/auxiliary/Makefile.sources | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/gallium/auxiliary/Makefile.sources b/src/gallium/auxiliary/Makefile.sources index 0502a2c44f8..4fb7a30613a 100644 --- a/src/gallium/auxiliary/Makefile.sources +++ b/src/gallium/auxiliary/Makefile.sources @@ -83,8 +83,6 @@ C_SOURCES := \ os/os_process.c \ os/os_process.h \ os/os_thread.h \ - os/os_time.c \ - os/os_time.h \ pipebuffer/pb_buffer_fenced.c \ pipebuffer/pb_buffer_fenced.h \ pipebuffer/pb_buffer.h \ |