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/cc/windows-rpath.cxx | |
parent | c49a4f0aeefd04ea6a269693d47d1e9d91ed8ad7 (diff) |
Fix crashing on unhandled system_error thrown by file_exists()
Diffstat (limited to 'build2/cc/windows-rpath.cxx')
-rw-r--r-- | build2/cc/windows-rpath.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build2/cc/windows-rpath.cxx b/build2/cc/windows-rpath.cxx index e27dddb..1bef95c 100644 --- a/build2/cc/windows-rpath.cxx +++ b/build2/cc/windows-rpath.cxx @@ -157,14 +157,14 @@ namespace build2 pdb = f; pdb += ".pdb"; - if (!file_exists (pdb.c_str ())) + if (!exists (path (pdb))) { // Then try the usual naming: foo.pdb. // pdb.assign (f, 0, p); pdb += ".pdb"; - if (!file_exists (pdb.c_str ())) + if (!exists (path (pdb))) pdb.clear (); } |