From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 11 Oct 2014 08:57:46 +0000 (+0200)
Subject: Fixed ifdefs for plugin unloading
X-Git-Tag: yosys-0.4~71
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=53349fb634e79641a7a728f6d030c5eda0702477;p=yosys.git

Fixed ifdefs for plugin unloading
---

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