diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-05-13 13:06:36 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-05-13 13:06:36 +0200 |
| commit | 1167538d265b634d6d4d825e9d92d2211f7beee9 (patch) | |
| tree | e668e48e65b533f1092cc6aaf21a146e657f5353 /kernel/driver.cc | |
| parent | 7d076f071e83f1533623f2508794e28c79e02294 (diff) | |
| download | yosys-1167538d265b634d6d4d825e9d92d2211f7beee9.tar.gz yosys-1167538d265b634d6d4d825e9d92d2211f7beee9.tar.bz2 yosys-1167538d265b634d6d4d825e9d92d2211f7beee9.zip | |
Revert "Add "#ifdef __FreeBSD__""
This reverts commit e3575a86c525f2511902e7022893c3923ba8093e.
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 24 |
1 files changed, 3 insertions, 21 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index bec872c24..7a1dce497 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -34,17 +34,12 @@ #include <limits.h> #include <errno.h> -#if defined (__linux__) || defined(__FreeBSD__) +#ifdef __linux__ # include <sys/resource.h> # include <sys/types.h> # include <unistd.h> #endif -#ifdef __FreeBSD__ -# include <sys/sysctl.h> -# include <sys/user.h> -#endif - #if !defined(_WIN32) || defined(__MINGW32__) # include <unistd.h> #else @@ -515,7 +510,7 @@ int main(int argc, char **argv) #else std::string meminfo; std::string stats_divider = ", "; -# if defined(__linux__) +# ifdef __linux__ std::ifstream statm; statm.open(stringf("/proc/%lld/statm", (long long)getpid())); if (statm.is_open()) { @@ -526,19 +521,6 @@ int main(int argc, char **argv) sz_resident * (getpagesize() / 1024.0 / 1024.0)); stats_divider = "\n"; } -# elif defined(__FreeBSD__) - pid_t pid = getpid(); - int mib[4] = {CTL_KERN, KERN_PROC, KERN_PROC_PID, (int)pid}; - struct kinfo_proc kip; - size_t kip_len = sizeof(kip); - if (sysctl(mib, 4, &kip, &kip_len, NULL, 0) == 0) { - vm_size_t sz_total = kip.ki_size; - segsz_t sz_resident = kip.ki_rssize; - meminfo = stringf(", MEM: %.2f MB total, %.2f MB resident", - (int)sz_total / 1024.0 / 1024.0, - (int)sz_resident * (getpagesize() / 1024.0 / 1024.0)); - stats_divider = "\n"; - } # endif struct rusage ru_buffer; @@ -582,7 +564,7 @@ int main(int argc, char **argv) } } -#if defined(YOSYS_ENABLE_COVER) && (defined(__linux__) || defined(__FreeBSD__)) +#if defined(YOSYS_ENABLE_COVER) && defined(__linux__) if (getenv("YOSYS_COVER_DIR") || getenv("YOSYS_COVER_FILE")) { string filename; |