diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-02 22:40:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-02 22:40:18 -0700 |
| commit | d1ffd8d703b04fb4753874f365fbe17074fe47c1 (patch) | |
| tree | 152d2ff2bb078c6fd622b0c72b0437e1a7114044 /src/base/cmd/cmdStarter.c | |
| parent | e6196fb4625d6c704ac5ab3bd13dabace587f790 (diff) | |
| download | abc-d1ffd8d703b04fb4753874f365fbe17074fe47c1.tar.gz abc-d1ffd8d703b04fb4753874f365fbe17074fe47c1.tar.bz2 abc-d1ffd8d703b04fb4753874f365fbe17074fe47c1.zip | |
Added command 'starter' to call ABC concurrently.
Diffstat (limited to 'src/base/cmd/cmdStarter.c')
| -rw-r--r-- | src/base/cmd/cmdStarter.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/cmd/cmdStarter.c b/src/base/cmd/cmdStarter.c index e8149f28..21384930 100644 --- a/src/base/cmd/cmdStarter.c +++ b/src/base/cmd/cmdStarter.c @@ -244,8 +244,8 @@ void Cmd_RunStarter( char * pFileName, char * pBinary, char * pCommand, int nCor } // cleanup - status = pthread_mutex_destroy(&mutex); assert(status == 0); - mutex = PTHREAD_MUTEX_INITIALIZER; +// status = pthread_mutex_destroy(&mutex); assert(status == 0); +// mutex = PTHREAD_MUTEX_INITIALIZER; fprintf( stdout, "Finished processing commands in file \"%s\". ", pFileName ); Abc_PrintTime( 1, "Total wall time", clock() - clk ); fflush( stdout ); |