| Index: scripts/common/chromium_utils.py
|
| diff --git a/scripts/common/chromium_utils.py b/scripts/common/chromium_utils.py
|
| index 8dc99953232fa102b82125a086a3d7ad944ad5bc..6f06995b046a5d1def2ea82e70571845587b8efe 100644
|
| --- a/scripts/common/chromium_utils.py
|
| +++ b/scripts/common/chromium_utils.py
|
| @@ -407,6 +407,11 @@ def RemoveDirectory(*path):
|
| if not os.path.exists(file_path):
|
| return
|
|
|
| + if os.path.isfile(os.path.join(file_path, 'update.flag')):
|
| + print 'update.flag file found: bot_update has run and checkout is already '
|
| + print 'in a consistent state. No actions will be performed in this step.'
|
| + return
|
| +
|
| if sys.platform == 'win32':
|
| # Give up and use cmd.exe's rd command.
|
| file_path = os.path.normcase(file_path)
|
|
|