diff options
Diffstat (limited to 'kernel')
-rw-r--r-- | kernel/yosys.cc | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index dff31db07..599c92d52 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -207,8 +207,7 @@ std::string proc_self_dirname () char path [PATH_MAX]; ssize_t buflen = readlink("/proc/self/exe", path, sizeof(path)); if (buflen < 0) { - log_cmd_error("readlink(\"/proc/self/exe\") failed: %s", strerror(errno)); - log_abort(); + log_error("readlink(\"/proc/self/exe\") failed: %s\n", strerror(errno)); } while (buflen > 0 && path[buflen-1] != '/') buflen--; @@ -239,8 +238,7 @@ std::string proc_share_dirname () proc_share_path = proc_self_path + "../share/yosys/"; if (access(proc_share_path.c_str(), X_OK) == 0) return proc_share_path; - log_cmd_error("proc_share_dirname: unable to determine share/ directory!"); - log_abort(); + log_error("proc_share_dirname: unable to determine share/ directory!\n"); } bool fgetline(FILE *f, std::string &buffer) |