Chromium Code Reviews| Index: third_party/WebKit/Tools/Scripts/webkitpy/common/checkout/baselineoptimizer.py |
| diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/checkout/baselineoptimizer.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/checkout/baselineoptimizer.py |
| index 5b77580ff787dd91280a96e15f274a4de09e0a23..6bc071542be0719de9df0be9266d00a7f535c134 100644 |
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/common/checkout/baselineoptimizer.py |
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/checkout/baselineoptimizer.py |
| @@ -251,6 +251,7 @@ class BaselineOptimizer(object): |
| _log.debug(" " + platform_dir) |
| for filename in fs_files: |
| self._filesystem.remove(filename) |
| + self._files_to_delete.extend(scm_files) |
|
qyearsley
2016/10/04 22:41:37
This is a fix that I think in theory should preven
|
| else: |
| _log.debug(" (Nothing to delete)") |