1#!/bin/sh 2 3public_symbols_txt=$1 4 5cat <<EOF 6/* 7 * Name mangling for public symbols is controlled by --with-mangling and 8 * --with-jemalloc-prefix. With default settings the je_ prefix is stripped by 9 * these macro definitions. 10 */ 11#ifndef JEMALLOC_NO_RENAME 12EOF 13 14for nm in `cat ${public_symbols_txt}` ; do 15 n=`echo ${nm} |tr ':' ' ' |awk '{print $1}'` 16 m=`echo ${nm} |tr ':' ' ' |awk '{print $2}'` 17 echo "# define je_${n} ${m}" 18done 19 20cat <<EOF 21#endif 22EOF 23