diff options
Diffstat (limited to 'scripts/Util.py')
| -rw-r--r-- | scripts/Util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index 3e8c2e66427..5ba3688450a 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -2499,7 +2499,7 @@ class CppMapping(Mapping): if self.cpp11: testId = current.testcase.getTestSuite().getId() parent = re.match(r'^([\w]*).*', testId).group(1) - if parent in ["IceStorm"]: + if parent in ["IceStorm", "IceBridge"]: return False elif parent in ["IceGrid"] and testId not in ["IceGrid/simple"]: return False |