diff options
| author | José Fonseca <[email protected]> | 2008-06-10 08:38:24 +0900 |
|---|---|---|
| committer | José Fonseca <[email protected]> | 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 ff09011b660..1d9b036c078 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 \ |