Fixed ifdefs for plugin unloading

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 08f75df7b56bf430b31e48c141d529e3982e4359..f2492555ea80f2fb1109976c0178fc58c5fb2132 100644 (file)
--- 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