diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 10:44:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 10:44:34 -0700 |
| commit | 8b881d235a90e67282fa2e91bbfec8c4e6685878 (patch) | |
| tree | 1ab26419ca1ec1bd8639f9b12df6a4f5eb996012 /src/misc/extra | |
| parent | 31d85e732b2648049171abfb906216dfe31449f3 (diff) | |
| download | abc-8b881d235a90e67282fa2e91bbfec8c4e6685878.tar.gz abc-8b881d235a90e67282fa2e91bbfec8c4e6685878.tar.bz2 abc-8b881d235a90e67282fa2e91bbfec8c4e6685878.zip | |
Making 'pdr', &gla, &vta print correctly in batch mode.
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extraUtilProgress.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/misc/extra/extraUtilProgress.c b/src/misc/extra/extraUtilProgress.c index ab0f5849..47b33196 100644 --- a/src/misc/extra/extraUtilProgress.c +++ b/src/misc/extra/extraUtilProgress.c @@ -136,7 +136,10 @@ void Extra_ProgressBarStop( ProgressBar * p ) void Extra_ProgressBarShow( ProgressBar * 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++ ) @@ -163,7 +166,10 @@ void Extra_ProgressBarShow( ProgressBar * p, char * pString ) void Extra_ProgressBarClean( ProgressBar * 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" ); |