diff options
author | José Fonseca <jrfonseca@tungstengraphics.com> | 2008-06-10 08:38:24 +0900 |
---|---|---|
committer | José Fonseca <jrfonseca@tungstengraphics.com> | 2008-06-10 08:38:24 +0900 |
commit | 0c5b1a8ffb21f72fcde64a7daa13d5dab5b90425 (patch) | |
tree | 95af3fef3dbc5bff2de762282a02baf9c1bd4238 /src/gallium/auxiliary/pipebuffer/Makefile | |
parent | 4b52f4df1b37918a363d05e0b3db22125e801367 (diff) |
pipebuffer: Alternative buffer manager.
For situations where one has a reserve memory pool, or
a faster/slower pool.
Diffstat (limited to 'src/gallium/auxiliary/pipebuffer/Makefile')
-rw-r--r-- | src/gallium/auxiliary/pipebuffer/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gallium/auxiliary/pipebuffer/Makefile b/src/gallium/auxiliary/pipebuffer/Makefile index ff09011b66..1d9b036c07 100644 --- a/src/gallium/auxiliary/pipebuffer/Makefile +++ b/src/gallium/auxiliary/pipebuffer/Makefile @@ -6,6 +6,7 @@ LIBNAME = pipebuffer C_SOURCES = \ pb_buffer_fenced.c \ pb_buffer_malloc.c \ + pb_bufmgr_alt.c \ pb_bufmgr_cache.c \ pb_bufmgr_fenced.c \ pb_bufmgr_mm.c \ |