diff options
Diffstat (limited to 'src/utils.cc')
| -rw-r--r-- | src/utils.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/utils.cc b/src/utils.cc index e6147f09..1d457891 100644 --- a/src/utils.cc +++ b/src/utils.cc @@ -849,7 +849,11 @@ path resolve_path(const path& pathname) path temp = pathname; if (temp.string()[0] == '~') temp = expand_path(temp); +#if (BOOST_VERSION >= 106000) + temp.lexically_normal(); +#else temp.normalize(); +#endif return temp; } |