diff options
Diffstat (limited to 'kernel/driver.cc')
-rw-r--r-- | kernel/driver.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index f273057d..edec7760 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -34,7 +34,7 @@ #include <limits.h> #include <errno.h> -#if defined (__linux__) || defined(__FreeBSD__) +#if defined (__unix__) || defined(__FreeBSD__) # include <sys/resource.h> # include <sys/types.h> # include <unistd.h> @@ -466,7 +466,7 @@ int main(int argc, char **argv) if (print_stats) log_hasher = new SHA1; -#if defined(__linux__) +#if defined(__unix__) // set stack size to >= 128 MB { struct rlimit rl; @@ -560,7 +560,7 @@ int main(int argc, char **argv) #else std::string meminfo; std::string stats_divider = ", "; -# if defined(__linux__) +# if defined(__unix__) std::ifstream statm; statm.open(stringf("/proc/%lld/statm", (long long)getpid())); if (statm.is_open()) { @@ -627,7 +627,7 @@ int main(int argc, char **argv) } } -#if defined(YOSYS_ENABLE_COVER) && (defined(__linux__) || defined(__FreeBSD__)) +#if defined(YOSYS_ENABLE_COVER) && (defined(__unix__) || defined(__FreeBSD__)) if (getenv("YOSYS_COVER_DIR") || getenv("YOSYS_COVER_FILE")) { string filename; |