diff options
-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 |