From 4dd4156c7126ff5735c65bdcc4e071e612a0681d Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 20 Jun 2018 10:38:46 +0200
Subject: Normalize plugin directory path

---
 build/root.build | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'build/root.build')

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
-- 
cgit v1.1