From 1a3926d3096691f6ee218f574afb635e5b5d56ca Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 8 Apr 2020 14:18:28 +0200
Subject: Report plugin directory in configuration report

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

(limited to 'build')

diff --git a/build/root.build b/build/root.build
index 296b033..edff38f 100644
--- a/build/root.build
+++ b/build/root.build
@@ -23,6 +23,9 @@ if ("$plugin_dir" == plugin)
 
 plugin_dir = $normalize($plugin_dir)
 
+if ($build.version.number > 12000000000)
+  config [config.report] plugin_dir
+
 hxx{*}: extension = hxx
 ixx{*}: extension = ixx
 txx{*}: extension = txx
-- 
cgit v1.1