aboutsummaryrefslogtreecommitdiff
path: root/build2/dist
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2016-09-09 18:29:37 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2016-09-13 13:03:19 +0300
commitdc1b424b75f200a716c3bd9b91891cf7f818ad32 (patch)
tree6c1625d8a52ad7ddc642da72f3c1f8896b617ff2 /build2/dist
parentc49a4f0aeefd04ea6a269693d47d1e9d91ed8ad7 (diff)
Fix crashing on unhandled system_error thrown by file_exists()
Diffstat (limited to 'build2/dist')
-rw-r--r--build2/dist/operation.cxx8
1 files changed, 4 insertions, 4 deletions
diff --git a/build2/dist/operation.cxx b/build2/dist/operation.cxx
index 4628350..b5ca906 100644
--- a/build2/dist/operation.cxx
+++ b/build2/dist/operation.cxx
@@ -84,7 +84,7 @@ namespace build2
const dir_path& dist_root (cast<dir_path> (l));
- if (!dir_exists (dist_root))
+ if (!exists (dist_root))
fail << "root distribution directory " << dist_root
<< " does not exist";
@@ -146,7 +146,7 @@ namespace build2
auto add_adhoc = [&trace] (scope& rs, const path& f)
{
path p (rs.src_path () / f);
- if (file_exists (p))
+ if (exists (p))
{
dir_path d (p.directory ());
@@ -282,7 +282,7 @@ namespace build2
? t.dir.leaf (src_root)
: t.dir.leaf (out_root);
- if (!dir_exists (d))
+ if (!exists (d))
install (dist_cmd, d);
install (dist_cmd, t, d);
@@ -413,7 +413,7 @@ namespace build2
// Delete old archive for good measure.
//
path ap (dir / path (a));
- if (file_exists (ap, false))
+ if (exists (ap, false))
rmfile (ap);
// Use zip for .zip archives. Everything else goes to tar in the