diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/main/main.c | 6 |
1 files changed, 4 insertions, 2 deletions
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; |