tree bc3ee548220bc90b98892c59dd5a5dbe546f465e
parent 166a745b395198c2b0d661caa717e6a9400291c6
author Jason Evans <je@fb.com> 1330651160 -0800
committer Jason Evans <je@fb.com> 1330651160 -0800

Add --with-mangling.

Add the --with-mangling configure option, which can be used to specify
name mangling on a per public symbol basis that takes precedence over
--with-jemalloc-prefix.

Expose the memalign() and valloc() overrides even if
--with-jemalloc-prefix is specified.  This change does no real harm, and
simplifies the code.