On Mar 30, 2009, at 2:34 PM, Jeff Squyres (jsquyres) wrote:
> Yes, it should. However, I'm running into some oddness when I
> configure --without-memory-manager.
Thankfully, I can retract this statement. :-)
I found out that the oddness that I was running into was due to my own
testing problems (details unimportant); --without-memory-manager
appears to be working just fine.