From 95ac484548d4a4550568de09343964150806042d Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 23 Jul 2014 21:38:18 +0200
Subject: [PATCH] Fixed release build

---
 kernel/rtlil.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc
index d2f37cec4..7d630b352 100644
--- a/kernel/rtlil.cc
+++ b/kernel/rtlil.cc
@@ -1291,8 +1291,10 @@ RTLIL::Memory::Memory()
 
 void RTLIL::Cell::check()
 {
+#ifndef NDEBUG
 	InternalCellChecker checker(NULL, this);
 	checker.check();
+#endif
 }
 
 RTLIL::SigChunk::SigChunk()
-- 
2.30.2