From 6f0d80885930140eac21d63cf7a7a1254d75b60a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 20 Nov 2018 19:15:07 -0800
Subject: Various usability changes (second round).

---
 src/misc/util/abc_global.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/misc/util')

diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h
index 14523abd..c27b907e 100644
--- a/src/misc/util/abc_global.h
+++ b/src/misc/util/abc_global.h
@@ -357,6 +357,9 @@ static inline void Abc_Print( int level, const char * format, ... )
 {
     extern ABC_DLL int Abc_FrameIsBridgeMode();
     va_list args;
+    extern unsigned enable_dbg_outs;  
+    if ( !enable_dbg_outs )
+        return;
 
     if ( ! Abc_FrameIsBridgeMode() ){
         if ( level == ABC_ERROR )
-- 
cgit v1.2.3