Rename __rg_oom

2022-08-19 12:54:18 -06:00
parent 60a4b59194
commit de29da4099
1 changed files with 1 additions and 1 deletions
@@ -8,7 +8,7 @@ if [ -z "$target" ] || [ -z "$deps_dir" ]; then
 fi

 symbols_file=`mktemp`
-special_syms="__rg_alloc __rg_dealloc __rg_realloc __rg_alloc_zeroed"
+special_syms="__rg_alloc __rg_dealloc __rg_realloc __rg_alloc_zeroed __rg_oom"

 for dep in `find $deps_dir -type f -name "*.rlib"`; do
    nm --format=posix -g "$dep" 2>/dev/null | sed 's/.*:.*//g' | awk '{if ($2 == "T") print $1}' | sed 's/^\(.*\)$/\1 __relibc_\1/g' >> $symbols_file