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/config | |
parent | c49a4f0aeefd04ea6a269693d47d1e9d91ed8ad7 (diff) |
Fix crashing on unhandled system_error thrown by file_exists()
Diffstat (limited to 'build2/config')
-rw-r--r-- | build2/config/init.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build2/config/init.cxx b/build2/config/init.cxx index a5cdf5a..4fdb318 100644 --- a/build2/config/init.cxx +++ b/build2/config/init.cxx @@ -8,7 +8,7 @@ #include <build2/rule> #include <build2/scope> #include <build2/context> -#include <build2/filesystem> // file_exists() +#include <build2/filesystem> // exists() #include <build2/diagnostics> #include <build2/config/module> @@ -55,7 +55,7 @@ namespace build2 { path f (out_root / config_file); - if (file_exists (f)) + if (exists (f)) { // Check the config version. We assume that old versions cannot // understand new configs and new versions are incompatible with old |