Fixed proc_{self,share}_dirname error handling

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index dff31db0734c88779df4e6d2086f121e70369d97..599c92d52894b071e45bd9894d3a8815ddd0c7b7 100644 (file)
--- 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)