mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-10-14 20:32:39 +08:00
99482ae58a74e236fb40b65c267163a5690f39e1
os.remove() raises OSError if the file being removed doesn't exist. Check before calling to ensure we don't raise a useless exception on an already deleted file. Change-Id: I44c1c7dd97a47fcab8afb6c18fdf179158b6dab7 Signed-off-by: Shawn O. Pearce <sop@google.com>
Description
Languages
Python
99.2%
Shell
0.8%