From a92c41f76712b0873dfaae0ac94a535a3ee80dd6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 9 Jul 2012 22:16:52 -0700
Subject: Removing print-out message in bridge mode.

---
 src/base/main/main.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/base/main/main.c')

diff --git a/src/base/main/main.c b/src/base/main/main.c
index 62575ed8..d1a14edc 100644
--- a/src/base/main/main.c
+++ b/src/base/main/main.c
@@ -85,7 +85,7 @@ static int TypeCheck( Abc_Frame_t * pAbc, const char * s);
 int Abc_RealMain( int argc, char * argv[] )
 {
     Abc_Frame_t * pAbc;
-    char sCommandUsr[500], sCommandTmp[100], sReadCmd[20], sWriteCmd[20];
+    char sCommandUsr[500] = {0}, sCommandTmp[100], sReadCmd[20], sWriteCmd[20];
     const char * sOutFile, * sInFile;
     char * sCommand;
     int  fStatus = 0;
@@ -142,7 +142,6 @@ int Abc_RealMain( int argc, char * argv[] )
         switch(c) {
             case 'c':
                 strcpy( sCommandUsr, globalUtilOptarg );
-                printf( "ABC command line: \"%s\".\n", sCommandUsr );
                 fBatch = 1;
                 break;
                 
@@ -219,11 +218,14 @@ int Abc_RealMain( int argc, char * argv[] )
         extern Gia_Man_t * Gia_ManFromBridge( FILE * pFile, Vec_Int_t ** pvInit );
         pAbc->pGia = Gia_ManFromBridge( stdin, NULL );
     }
+    else if ( fBatch && sCommandUsr[0] )
+        printf( "ABC command line: \"%s\".\n", sCommandUsr );
     
     if ( fBatch )
     {
         pAbc->fBatchMode = 1;
 
+
         if (argc - globalUtilOptind == 0)
         {
             sInFile = NULL;
-- 
cgit v1.2.3