Index: tools/utils.py |
diff --git a/tools/utils.py b/tools/utils.py |
index 62b07ca20564347d2429fa65ef2779d7b0e92b25..ac06c60d22589cf4c49bb9d3702e89eb22a916f6 100644 |
--- a/tools/utils.py |
+++ b/tools/utils.py |
@@ -733,7 +733,8 @@ class LinuxCoreDumpEnabler(PosixCoreDumpEnabler): |
super(LinuxCoreDumpEnabler, self).__enter__() |
def __exit__(self, *args): |
- CheckLinuxCoreDumpPattern(fatal=True) |
+ # TODO(whesse): Re-enable after issue #30205 is addressed |
+ # CheckLinuxCoreDumpPattern(fatal=True) |
super(LinuxCoreDumpEnabler, self).__exit__(*args) |
class WindowsCoreDumpEnabler(object): |