#!/bin/sh | |
public_symbols_txt=$1 | |
cat <<EOF | |
/* | |
* Name mangling for public symbols is controlled by --with-mangling and | |
* --with-jemalloc-prefix. With default settings the je_ prefix is stripped by | |
* these macro definitions. | |
*/ | |
#ifndef JEMALLOC_NO_RENAME | |
EOF | |
for nm in `cat ${public_symbols_txt}` ; do | |
n=`echo ${nm} |tr ':' ' ' |awk '{print $1}'` | |
m=`echo ${nm} |tr ':' ' ' |awk '{print $2}'` | |
echo "# define je_${n} ${m}" | |
done | |
cat <<EOF | |
#endif | |
EOF |