diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2016-09-09 18:29:37 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2016-09-13 13:03:19 +0300 |
commit | dc1b424b75f200a716c3bd9b91891cf7f818ad32 (patch) | |
tree | 6c1625d8a52ad7ddc642da72f3c1f8896b617ff2 /build2/install | |
parent | c49a4f0aeefd04ea6a269693d47d1e9d91ed8ad7 (diff) |
Fix crashing on unhandled system_error thrown by file_exists()
Diffstat (limited to 'build2/install')
-rw-r--r-- | build2/install/rule.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build2/install/rule.cxx b/build2/install/rule.cxx index f3a9bf4..038b53c 100644 --- a/build2/install/rule.cxx +++ b/build2/install/rule.cxx @@ -4,6 +4,8 @@ #include <build2/install/rule> +#include <butl/filesystem> // dir_exists(), file_exists() + #include <build2/scope> #include <build2/target> #include <build2/algorithm> |