Library renaming should be slightly more general

1 files changed, 1 insertions, 2 deletions

diff --git a/src/tomo.c b/src/tomo.c
index c6adc573..4a8e70d1 100644
--- a/src/tomo.c
+++ b/src/tomo.c
@@ -459,8 +459,7 @@ void build_library(Text_t lib_dir_name)
     FILE *prog;
     for (int64_t i = 0; i < tm_files.length; i++) {
         Path_t f = *(Path_t*)(tm_files.data + i*tm_files.stride);
-        prog = run_cmd("nm -g '", build_file(f, ".o"), "' | awk '$2~/^[DTB]$/ && $3~/^_\\$",
-                       CORD_to_const_char_star(env->libname), "\\$/{print $3 \" _$",
+        prog = run_cmd("nm -g '", build_file(f, ".o"), "' | awk '$2~/^[DTB]$/ && $3~/^_\\$/{print $3 \" _$",
                        CORD_to_const_char_star(env->libname), "\" substr($3,2)}' "
                        ">>.build/symbol_renames.txt");
         if (!prog) print_err("Could not find symbols!");