| 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):
|
|
|