gallium/util: remove unused pipe_thread_destroy()
authorTimothy Arceri <tarceri@itsqueeze.com>
Mon, 6 Mar 2017 00:58:28 +0000 (11:58 +1100)
committerTimothy Arceri <tarceri@itsqueeze.com>
Mon, 6 Mar 2017 22:12:16 +0000 (09:12 +1100)
commit60a2c2507d4df92fcc56d9772a427ef9638757f2
tree1c8d5a12ffed030f5f4852b0f5bbd94ef06acee6
parentd82d8be6148b599ce47bf4c0e6ae4e27cf5cc233
gallium/util: remove unused pipe_thread_destroy()

Reviewed-by: Plamena Manolova <plamena.manolova@intel.com>
Reviewed-by: Marek Olšák <marek.olsak@amd.com>
src/gallium/auxiliary/os/os_thread.h