From e7c756a73c816f91c1cff6fbc066af8b5e72987b Mon Sep 17 00:00:00 2001 From: q66 Date: Sat, 17 Jun 2017 15:59:45 +0200 Subject: [PATCH] extra message --- main.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/main.cc b/main.cc index f7d423d..03e7df5 100644 --- a/main.cc +++ b/main.cc @@ -162,6 +162,7 @@ struct ob_state: cs_state { waits.front().get(); } catch (build_error const &) { waits.pop(); + ostd::writeln("waiting for the remaining tasks to finish..."); for (; !waits.empty(); waits.pop()) { try { waits.front().get();