From 53349fb634e79641a7a728f6d030c5eda0702477 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 11 Oct 2014 10:57:46 +0200
Subject: [PATCH] Fixed ifdefs for plugin unloading

---
 kernel/yosys.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 08f75df7b..f2492555e 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
-- 
2.30.2