diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-05-01 15:32:59 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-05-01 15:32:59 -0400 |
| commit | f05d1f90adb5aedcefb43c06311cce1395a01cdc (patch) | |
| tree | e77f5481f04f8190b6be70d722045218b36f099a /src | |
| parent | 183fda75df4a48ad28a88694d2b2d4a46e0e662b (diff) | |
Bugfix
Diffstat (limited to 'src')
| -rw-r--r-- | src/tomo.c | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -506,10 +506,10 @@ 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("debugedit -b ", lib_dir, - " -d '", dest, "'" - " '", dest, "/lib", lib_dir_name, SHARED_SUFFIX, "'" - " 2>/dev/null >/dev/null"); + (void)system(String("debugedit -b ", lib_dir, + " -d '", dest, "'" + " '", dest, "/lib", lib_dir_name, SHARED_SUFFIX, "'" + " 2>/dev/null >/dev/null")); print("Installed \033[1m", lib_dir_name, "\033[m to "TOMO_HOME"/installed"); } |
