Hi,<div>I'm not sure where I should post this small patch to. The `AutoRegen.sh' script in poolalloc branch (under autoconf directory) is unusable (and seems for a long time) to regenerate `configure'. Probably few use it. But before it's purged, please consider the attached patch.</div>
<div><br></div><div>Regards,</div><div>Ryan</div>