diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2015-04-13 15:50:17 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-04-13 15:50:17 +0200 |
| commit | ace1743f7f78bb13f99553d6e97ad1beecf1ba99 (patch) | |
| tree | 595bc9dad989e44f4be9a67e351219f3248dc5f0 /build/algorithm.cxx | |
| parent | 534f9d8db025d58c9ce23f3b81a37e8c34386a27 (diff) | |
Add separate type to represent directory paths
Diffstat (limited to 'build/algorithm.cxx')
| -rw-r--r-- | build/algorithm.cxx | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build/algorithm.cxx b/build/algorithm.cxx index 3fc2e92..7675b0c 100644 --- a/build/algorithm.cxx +++ b/build/algorithm.cxx @@ -155,7 +155,7 @@ namespace build } void - search_and_match (action a, target& t, const path& d) + search_and_match (action a, target& t, const dir_path& d) { for (prerequisite& p: t.prerequisites) { @@ -177,12 +177,12 @@ namespace build if (scope* rs = s.root_scope ()) // Could be outside any project. { - const path& out_root (rs->path ()); + const dir_path& out_root (rs->path ()); // If t is a directory (name is empty), say foo/bar/, then // t is bar and its parent directory is foo/. // - const path& d (t.name.empty () ? t.dir.directory () : t.dir); + const dir_path& d (t.name.empty () ? t.dir.directory () : t.dir); if (d.sub (out_root) && d != out_root) { |