diff options
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 ); |