source = [
'pb_buffer_fenced.c',
'pb_buffer_malloc.c',
+ 'pb_bufmgr_alt.c',
'pb_bufmgr_cache.c',
- 'pb_bufmgr_fenced.c',
+ 'pb_bufmgr_debug.c',
'pb_bufmgr_mm.c',
+ 'pb_bufmgr_ondemand.c',
'pb_bufmgr_pool.c',
'pb_bufmgr_slab.c',
- 'pb_winsys.c',
+ 'pb_validate.c',
])
auxiliaries.insert(0, pipebuffer)