-
- if options.enable_coverage:
- print("Enable coverage")
- TeshState().ignore_regexps_common = [re.compile("^profiling:")]
+
+ if options.ignore_jenkins:
+ print("Ignore all cruft seen on SimGrid's continous integration servers")
+ TeshState().ignore_regexps_common = [
+ re.compile("^profiling:"),
+ re.compile(".*WARNING: ASan doesn\'t fully support"),
+ re.compile("Unable to clean temporary file C:.*")]