From 4733b42cd4013f679c7bcf0097a8a06f2a91d419 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Thu, 1 Jan 2026 14:24:38 -0500 Subject: Remove debugedit stuff --- src/tomo.c | 10 ---------- 1 file changed, 10 deletions(-) (limited to 'src/tomo.c') diff --git a/src/tomo.c b/src/tomo.c index 416a8664..700e6f6a 100644 --- a/src/tomo.c +++ b/src/tomo.c @@ -526,16 +526,6 @@ void install_library(Path_t lib_dir) { xsystem(as_owner, "cp -r '", lib_dir, "'/* '", dest, "/'"); xsystem(as_owner, "cp -r '", lib_dir, "'/.build '", dest, "/'"); } - // If we have `debugedit` on this system, use it to remap the debugging source information - // to point to the installed version of the source file. Otherwise, fail silently. - if (verbose) whisper("Updating debug symbols for ", dest, "/lib", lib_name, ".a"); - int result = system(String(as_owner, "debugedit -b ", lib_dir, " -d '", dest, - "'" - " '", - dest, "/lib", lib_name, ".a", - "' " - ">/dev/null 2>/dev/null")); - (void)result; print("Installed \033[1m", lib_dir, "\033[m to ", TOMO_PATH, "/lib/tomo@", TOMO_VERSION, "/", lib_name); } -- cgit v1.2.3