diff options
Diffstat (limited to 'src/main/command_executor_portfolio.cpp')
-rw-r--r-- | src/main/command_executor_portfolio.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp index 4867082e6..00527702e 100644 --- a/src/main/command_executor_portfolio.cpp +++ b/src/main/command_executor_portfolio.cpp @@ -262,7 +262,8 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd) &d_smts[0]); pair<int, bool> portfolioReturn = - runPortfolio(d_numThreads, smFn, fns, true); + runPortfolio(d_numThreads, smFn, fns, + d_options[options::waitToJoin]); d_seq = NULL; delete d_seq; @@ -290,6 +291,7 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd) } else { // Unreachable(); assert(false); + return false; } }/* CommandExecutorPortfolio::doCommandSingleton() */ |