aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-05-06 22:37:57 -0400
committerBruce Hill <bruce@bruce-hill.com>2025-05-06 22:37:57 -0400
commitf52c94bf308e7addd94c1cf8c95032a22e1305ee (patch)
tree52fd6fda5630519351b3f4c795d0b667b4597ca1
parenta90c62e4359be9b334772ab9c1869cac94d9b2c7 (diff)
Discard result
-rw-r--r--src/tomo.c9
1 files 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");
}