![Brian Barrett](/assets/img/avatar_default.png)
--with-devel-headers is given to configure: * allocator, rcache, and mpool were putting things in the wrong place * timer wasn't installing the inline implementations at all This commit was SVN r7805.
--with-devel-headers is given to configure: * allocator, rcache, and mpool were putting things in the wrong place * timer wasn't installing the inline implementations at all This commit was SVN r7805.