From f52c94bf308e7addd94c1cf8c95032a22e1305ee Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Tue, 6 May 2025 22:37:57 -0400 Subject: Discard result --- src/tomo.c | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/tomo.c b/src/tomo.c index bbc33bc1..32bdfd82 100644 --- a/src/tomo.c +++ b/src/tomo.c @@ -419,10 +419,11 @@ void install_library(Path_t lib_dir) // 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_dir_name, SHARED_SUFFIX); - (void)system(String(as_owner, "debugedit -b ", lib_dir, - " -d '", dest, "'" - " '", dest, "/lib", lib_dir_name, SHARED_SUFFIX, "'" - " 2>/dev/null >/dev/null")); + int result = system(String(as_owner, "debugedit -b ", lib_dir, + " -d '", dest, "'" + " '", dest, "/lib", lib_dir_name, SHARED_SUFFIX, "'" + " 2>/dev/null >/dev/null")); + (void)result; print("Installed \033[1m", lib_dir_name, "\033[m to "TOMO_PREFIX"/share/tomo/installed"); } -- cgit v1.2.3