diff --git a/packages/build-brainscales/package.py b/packages/build-brainscales/package.py index d1ab34f94aa57892585909f3cbd8e550bdd50de6..2419107cdbc9b70fe901fc93c7a22672e7494f6c 100644 --- a/packages/build-brainscales/package.py +++ b/packages/build-brainscales/package.py @@ -208,6 +208,7 @@ class BuildBrainscales(WafPackage): if (elem.tag == 'failure') and not ( elem.get('message').startswith("pylint:") or elem.get('message').startswith("pycodestyle:") or + "catchsegv: not found" in elem.get('message') or ("OK" in elem.get('message') and "Segmentation fault" in elem.get('message'))): raise RuntimeError("Failed test found: {}".format(testcase.get('name')))