diff options
Diffstat (limited to 'scripts/Util.py')
-rw-r--r-- | scripts/Util.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index dcdc4aadff3..2bf93f480f6 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -81,6 +81,9 @@ class Platform: setattr(self, varname, valuefn(value) if valuefn else value) def getFilters(self, config): + if config.buildConfig in ["static", "cpp11-static"]: + return (["Ice/.*", "IceSSL/configuration", "IceDiscovery/simple", "IceGrid/simple"], + ["Ice/library", "Ice/plugin"]) return ([], []) def getDefaultBuildPlatform(self): |