From dc1b424b75f200a716c3bd9b91891cf7f818ad32 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Fri, 9 Sep 2016 18:29:37 +0300 Subject: Fix crashing on unhandled system_error thrown by file_exists() --- build2/config/init.cxx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'build2/config') 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 #include #include -#include // file_exists() +#include // exists() #include #include @@ -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 -- cgit v1.1