aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2020-04-08 14:18:28 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2020-04-08 14:18:28 +0200
commit1a3926d3096691f6ee218f574afb635e5b5d56ca (patch)
tree402431fe17dcd99bddbc0492d412317808d64cc1
parent59e7ca8e3c83b7fee8282c043107acf4d7c3bab1 (diff)
Report plugin directory in configuration report
-rw-r--r--build/root.build3
1 files changed, 3 insertions, 0 deletions
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