diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-02-02 10:20:50 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-02-13 12:42:41 +0200 |
commit | 53f02bf28dae507a51515ed6ac03226d68816494 (patch) | |
tree | 234838165e802df9c777324c0fe766ce0190d814 /build2/target-key | |
parent | 601ffbd700e7c11a101215d641ea09d0181d4771 (diff) |
Store extension in target map key rather than in target
This is in preparation for locking its modification/access.
Diffstat (limited to 'build2/target-key')
-rw-r--r-- | build2/target-key | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/build2/target-key b/build2/target-key index 7905f8a..0eae11f 100644 --- a/build2/target-key +++ b/build2/target-key @@ -26,9 +26,7 @@ namespace build2 const dir_path* const dir; // Can be relative if part of prerequisite_key. const dir_path* const out; // Can be relative if part of prerequisite_key. const string* const name; - const optional<string>& ext; - - static const optional<string> nullext; + mutable optional<string> ext; // Absent - unspecified, empty - none. template <typename T> bool is_a () const {return type->is_a<T> ();} |