mirror of
https://codeberg.org/redict/redict.git
synced 2025-01-24 00:59:02 -05:00
23 lines
460 B
Bash
Executable File
23 lines
460 B
Bash
Executable File
#!/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
|