diff options
| -rw-r--r-- | test/test.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/test.cc b/test/test.cc index 4eafe4ed0..b7ae1dec9 100644 --- a/test/test.cc +++ b/test/test.cc @@ -288,6 +288,8 @@ wait_for_jobs () while (jm->work_to_do ()) { signal_manager->ui_idle (); } + + cout << "Waiting for jobs: all finished; errors=" << jm->errors() << ".\n"; if (jm->errors ()) { int N = 0; @@ -310,7 +312,10 @@ wait_for_jobs () signal_manager->ui_idle (); if (jm->errors ()) { + cout << "Dropping JobManager\n"; JobManager::drop (); + } else { + cout << "Not dropping JobManager\n"; } } |