diff options
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: |