diff options
| author | Timothy Arceri <[email protected]> | 2017-03-06 11:58:28 +1100 |
|---|---|---|
| committer | Timothy Arceri <[email protected]> | 2017-03-07 09:12:16 +1100 |
| commit | 60a2c2507d4df92fcc56d9772a427ef9638757f2 (patch) | |
| tree | 1c8d5a12ffed030f5f4852b0f5bbd94ef06acee6 /src | |
| parent | d82d8be6148b599ce47bf4c0e6ae4e27cf5cc233 (diff) | |
gallium/util: remove unused pipe_thread_destroy()
Reviewed-by: Plamena Manolova <[email protected]>
Reviewed-by: Marek Olšák <[email protected]>
Diffstat (limited to 'src')
| -rw-r--r-- | src/gallium/auxiliary/os/os_thread.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/gallium/auxiliary/os/os_thread.h b/src/gallium/auxiliary/os/os_thread.h index 2aad3e2d728..22921231c5d 100644 --- a/src/gallium/auxiliary/os/os_thread.h +++ b/src/gallium/auxiliary/os/os_thread.h @@ -68,11 +68,6 @@ static inline thrd_t pipe_thread_create(int (*routine)(void *), void *param) return thread; } -static inline int pipe_thread_destroy( thrd_t thread ) -{ - return thrd_detach( thread ); -} - static inline void pipe_thread_setname( const char *name ) { #if defined(HAVE_PTHREAD) |