diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-20 10:38:46 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-20 10:38:46 +0200 |
commit | 4dd4156c7126ff5735c65bdcc4e071e612a0681d (patch) | |
tree | 1f9fbe92a2be30152f9078d0c9fa64f3354744fc /build/root.build | |
parent | bbba599fc28e9121d99e27105ad045c8e25c51a4 (diff) |
Normalize plugin directory path
Diffstat (limited to 'build/root.build')
-rw-r--r-- | build/root.build | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build/root.build b/build/root.build index ed295ce..5578770 100644 --- a/build/root.build +++ b/build/root.build @@ -14,11 +14,16 @@ if ($cxx.id != 'gcc') # If plugin support is disabled, then -print-file-name will print the name we # have passed (the real plugin directory will always be absolute). # +# It can also include '..' components (e.g., on Windows) so normalize it for +# good measure. +# plugin_dir = [dir_path] $process.run($cxx.path -print-file-name=plugin) if ("$plugin_dir" == plugin) fail "$recall($cxx.path) does not support plugins" +plugin_dir = $normalize($plugin_dir) + hxx{*}: extension = hxx ixx{*}: extension = ixx txx{*}: extension = txx |