From 61512b6f4115fce5326b78914b675be278c6845f Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 17 May 2015 08:19:52 +0200
Subject: Verific build fixes

---
 kernel/log.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/log.cc b/kernel/log.cc
index bf92daced..29644a067 100644
--- a/kernel/log.cc
+++ b/kernel/log.cc
@@ -264,7 +264,7 @@ void log_pop()
 	log_flush();
 }
 
-#ifdef __linux__
+#if defined(__linux__) && defined(YOSYS_ENABLE_PLUGINS)
 void log_backtrace(const char *prefix, int levels)
 {
 	if (levels <= 0) return;
-- 
cgit v1.2.3