Chromium Code Reviews| Index: scripts/common/chromium_utils.py |
| diff --git a/scripts/common/chromium_utils.py b/scripts/common/chromium_utils.py |
| index 8dc99953232fa102b82125a086a3d7ad944ad5bc..426f4d65ebfdb1deab395dda6b9a2d53c72d6286 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. This means "bot update" ran and acquired' |
| + print 'a git checkout already. Skipping this step.' |
|
agable
2014/02/07 04:47:40
Not sure I like this phrasing. Maybe
"update.flag
Ryan Tseng
2014/02/07 21:23:07
Done.
|
| + return |
| + |
| if sys.platform == 'win32': |
| # Give up and use cmd.exe's rd command. |
| file_path = os.path.normcase(file_path) |