diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-02-01 16:36:24 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-02-13 12:42:41 +0200 |
commit | e3e597180487328a54721e2afb95e33ed853d586 (patch) | |
tree | 89d59f482d41eb37a90f97b0dd55c2e878e4800b /build2/rule-map | |
parent | 1dd17210b76d544a04fc6b4f3c98162ae9718102 (diff) |
Pass const scope& where modification should not happen
Diffstat (limited to 'build2/rule-map')
-rw-r--r-- | build2/rule-map | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build2/rule-map b/build2/rule-map index b7397a0..d7748b6 100644 --- a/build2/rule-map +++ b/build2/rule-map @@ -26,6 +26,9 @@ namespace build2 // This is an "indexed map" with operation_id being the index. Entry // with id 0 is a wildcard. // + // Note that while we may resize some vectors during non-serial load, this + // is MT-safe since we never cache any references to their elements. + // class operation_rule_map { public: @@ -63,6 +66,8 @@ namespace build2 // allocation for the common cases since most rules will be registered // for perform, at least on non-root scopes. // + // @@ Redo using small_vector? + // class rule_map { public: |