diff options
Diffstat (limited to 'memory/jemalloc/src/include/jemalloc/jemalloc_rename.sh')
-rwxr-xr-x | memory/jemalloc/src/include/jemalloc/jemalloc_rename.sh | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/memory/jemalloc/src/include/jemalloc/jemalloc_rename.sh b/memory/jemalloc/src/include/jemalloc/jemalloc_rename.sh deleted file mode 100755 index f94389120..000000000 --- a/memory/jemalloc/src/include/jemalloc/jemalloc_rename.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/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 |