summaryrefslogtreecommitdiff
path: root/kernel/yosys.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-10-11 10:57:46 +0200
committerClifford Wolf <clifford@clifford.at>2014-10-11 10:57:46 +0200
commit53349fb634e79641a7a728f6d030c5eda0702477 (patch)
treeff4504ffc3da0d84a5a9bf456c25574a03aeccf6 /kernel/yosys.cc
parent51b1824979ab0dc1c1cc904abe85bf39e537e136 (diff)
Fixed ifdefs for plugin unloading
Diffstat (limited to 'kernel/yosys.cc')
-rw-r--r--kernel/yosys.cc4
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 08f75df7..f2492555 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -24,7 +24,7 @@
# include <readline/history.h>
#endif
-#ifndef _WIN32
+#ifdef YOSYS_ENABLE_PLUGINS
# include <dlfcn.h>
#endif
@@ -197,7 +197,7 @@ void yosys_shutdown()
}
#endif
-#ifndef _WIN32
+#ifdef YOSYS_ENABLE_PLUGINS
for (auto &it : loaded_plugins)
dlclose(it.second);
#endif