[PATCH] AutoRegen.sh in poolalloc branch

Hi,
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.

Regards,
Ryan

AutoRegen.diff (1.83 KB)