diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2020-04-08 14:18:28 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-04-08 14:18:28 +0200 |
commit | 1a3926d3096691f6ee218f574afb635e5b5d56ca (patch) | |
tree | 402431fe17dcd99bddbc0492d412317808d64cc1 | |
parent | 59e7ca8e3c83b7fee8282c043107acf4d7c3bab1 (diff) |
Report plugin directory in configuration report
-rw-r--r-- | build/root.build | 3 |
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 |