From 8b881d235a90e67282fa2e91bbfec8c4e6685878 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 10:44:34 -0700
Subject: Making 'pdr', &gla, &vta print correctly in batch mode.

---
 src/misc/bar/bar.c | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'src/misc/bar')

diff --git a/src/misc/bar/bar.c b/src/misc/bar/bar.c
index 565a969e..6610b415 100644
--- a/src/misc/bar/bar.c
+++ b/src/misc/bar/bar.c
@@ -144,7 +144,10 @@ void Bar_ProgressStop( Bar_Progress_t * p )
 void Bar_ProgressShow( Bar_Progress_t * p, char * pString )
 {
     int i;
-    if ( p == NULL ) return;
+    if ( p == NULL ) 
+        return;
+    if ( Abc_FrameIsBatchMode() )
+        return;
     if ( pString )
         fprintf( p->pFile, "%s ", pString );
     for ( i = (pString? strlen(pString) + 1 : 0); i < p->posCur; i++ )
@@ -171,7 +174,10 @@ void Bar_ProgressShow( Bar_Progress_t * p, char * pString )
 void Bar_ProgressClean( Bar_Progress_t * p )
 {
     int i;
-    if ( p == NULL ) return;
+    if ( p == NULL ) 
+        return;
+    if ( Abc_FrameIsBatchMode() )
+        return;
     for ( i = 0; i <= p->posTotal; i++ )
         fprintf( p->pFile, " " );
     fprintf( p->pFile, "\r" );
-- 
cgit v1.2.3