summaryrefslogtreecommitdiff
path: root/scripts/Util.py
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/Util.py')
-rw-r--r--scripts/Util.py3
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):