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