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