diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-08-05 18:20:38 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-08-05 18:20:38 +0200 |
commit | 772c3a09a8c99c3d032b1564f5da9ebbc766b3f1 (patch) | |
tree | c6a1e83604699e2c1be12ad6e9a1f228dd885713 /build2/scope.hxx | |
parent | 67ceaa76da58303843c913b42ee493e33eb42d49 (diff) |
Minor changes
Diffstat (limited to 'build2/scope.hxx')
-rw-r--r-- | build2/scope.hxx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build2/scope.hxx b/build2/scope.hxx index 2be2b3a..028dbce 100644 --- a/build2/scope.hxx +++ b/build2/scope.hxx @@ -336,6 +336,11 @@ namespace build2 // directory (i.e., the calling code does not know what it is dealing // with), so let's use the whole path. // + // In fact, ideally, we should have used path_map instead of + // dir_path_map to be able to search for both paths without any casting + // (and copies). But currently we have too much stuff pointing to the + // key. + // return find (path_cast<dir_path> (p)); } |