aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-03-13 18:53:46 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-03-13 18:53:46 +0200
commit3bb9c876200aa2aadbffeb7bc7582a6a980675f8 (patch)
tree5b23bd523508dbc2db41e7aedf491f127990cd3f
parenta35ab5959f02ddfee757d8e2dc4cced21e682d4e (diff)
Cosmetic changes
-rw-r--r--build2/scheduler6
1 files changed, 3 insertions, 3 deletions
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
// | | |