From 3bb9c876200aa2aadbffeb7bc7582a6a980675f8 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 13 Mar 2017 18:53:46 +0200 Subject: Cosmetic changes --- build2/scheduler | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'build2/scheduler') diff --git a/build2/scheduler b/build2/scheduler index ffe61df..cfccefe 100644 --- a/build2/scheduler +++ b/build2/scheduler @@ -440,7 +440,7 @@ namespace build2 // // The mark is an index somewhere between (figuratively speaking) head // and tail, if enabled. If the mark is hit, then it is disabled until - // the queue becomes empty. + // the queue becomes empty or it is reset by a push. // size_t head = 0; size_t mark = 0; @@ -554,8 +554,8 @@ namespace build2 // // To put it another way, the understanding here is that after the // task returns we will either have an empty queue or there will still - // be tasks between the old mark and and the current tail, something - // along these lines: + // be tasks between the old mark and the current tail, something along + // these lines: // // OOOOOXXXXOOO // | | | -- cgit v1.1