aboutsummaryrefslogtreecommitdiff
path: root/build
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-06-20 10:38:46 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-06-20 10:38:46 +0200
commit4dd4156c7126ff5735c65bdcc4e071e612a0681d (patch)
tree1f9fbe92a2be30152f9078d0c9fa64f3354744fc /build
parentbbba599fc28e9121d99e27105ad045c8e25c51a4 (diff)
Normalize plugin directory path
Diffstat (limited to 'build')
-rw-r--r--build/root.build5
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