diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-04-12 16:42:49 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-04-12 16:42:49 +0200 |
commit | 20f16bb63b57c5e9dc4053219a5e8294d51fa762 (patch) | |
tree | 51593f83d3fe021617db350fed45315bd5f84e0a /build2/dist/operation.cxx | |
parent | c17323cb691abadf54487993407f862a1a6298bc (diff) |
Don't complain if dist.root does not exist and just create it instead
Diffstat (limited to 'build2/dist/operation.cxx')
-rw-r--r-- | build2/dist/operation.cxx | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build2/dist/operation.cxx b/build2/dist/operation.cxx index 5d46b6e..8490db4 100644 --- a/build2/dist/operation.cxx +++ b/build2/dist/operation.cxx @@ -95,12 +95,12 @@ namespace build2 fail << "unknown root distribution directory" << info << "did you forget to specify config.dist.root?"; + // We used to complain if dist.root does not exist but then, similar + // to install, got tired of user's complaints. So now we just let + // install -d for the package directory create it if necessary. + // const dir_path& dist_root (cast<dir_path> (l)); - if (!exists (dist_root)) - fail << "root distribution directory " << dist_root - << " does not exist"; - l = rs->vars["dist.package"]; if (!l || l->empty ()) |