diff options
| author | Eric Anholt <[email protected]> | 2019-04-19 15:02:22 -0700 |
|---|---|---|
| committer | Eric Anholt <[email protected]> | 2019-04-23 10:36:07 -0700 |
| commit | f5c08d981885de4f46b251f6440f1f5587bd878d (patch) | |
| tree | c27842ec2578f92e7e717a961337e256ca45e805 /src/gallium/auxiliary/Makefile.sources | |
| parent | d133f55a9985a8941a37c336395e88757e69afeb (diff) | |
gallium: Remove the pool pipebuffer manager.
Noticed while trying to decide if pipebuffer was of any use to me, and
found that nothing has used it in the last 10 years at least.
Reviewed-by: Marek Olšák <[email protected]>
Reviewed-by: Jose Fonseca <[email protected]>
Reviewed-by: Kristian Høgsberg <[email protected]>
Diffstat (limited to 'src/gallium/auxiliary/Makefile.sources')
| -rw-r--r-- | src/gallium/auxiliary/Makefile.sources | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/gallium/auxiliary/Makefile.sources b/src/gallium/auxiliary/Makefile.sources index 02cc5df70a7..3259f8219ba 100644 --- a/src/gallium/auxiliary/Makefile.sources +++ b/src/gallium/auxiliary/Makefile.sources @@ -116,7 +116,6 @@ C_SOURCES := \ pipebuffer/pb_bufmgr.h \ pipebuffer/pb_bufmgr_mm.c \ pipebuffer/pb_bufmgr_ondemand.c \ - pipebuffer/pb_bufmgr_pool.c \ pipebuffer/pb_bufmgr_slab.c \ pipebuffer/pb_cache.c \ pipebuffer/pb_cache.h \ |