diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 11:46:14 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 11:46:14 -0700 |
commit | 043cfcd775d067eadc400b7af40347e170a3774b (patch) | |
tree | 1647cd5ad61b95dd391a2c523e383a87e35d14ef /src/base/cmd | |
parent | 023e92c4700283d4de6e60c5b5054c2d2452b98f (diff) | |
download | abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.gz abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.bz2 abc-043cfcd775d067eadc400b7af40347e170a3774b.zip |
Concurrency for Boolean matching.
Diffstat (limited to 'src/base/cmd')
-rw-r--r-- | src/base/cmd/cmdStarter.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/cmd/cmdStarter.c b/src/base/cmd/cmdStarter.c index 16810baa..47cdd9ed 100644 --- a/src/base/cmd/cmdStarter.c +++ b/src/base/cmd/cmdStarter.c @@ -248,7 +248,7 @@ void Cmd_RunStarter( char * pFileName, char * pBinary, char * pCommand, int nCor fflush( stdout ); } -#endif +#endif // pthreads are used //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |