diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-05-06 22:37:57 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-05-06 22:37:57 -0400 |
| commit | f52c94bf308e7addd94c1cf8c95032a22e1305ee (patch) | |
| tree | 52fd6fda5630519351b3f4c795d0b667b4597ca1 /src | |
| parent | a90c62e4359be9b334772ab9c1869cac94d9b2c7 (diff) | |
Discard result
Diffstat (limited to 'src')
| -rw-r--r-- | src/tomo.c | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -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"); } |
