Index: sky/tools/android_library_cacher.py |
diff --git a/sky/tools/android_library_cacher.py b/sky/tools/android_library_cacher.py |
index 564448a050042acb205a98ae0c4b280aa7b61b30..a0813979eee57cada9608b8e09200496b2bd6d58 100755 |
--- a/sky/tools/android_library_cacher.py |
+++ b/sky/tools/android_library_cacher.py |
@@ -57,6 +57,8 @@ def main(): |
dest_dir = os.path.dirname(dest_file) |
if not os.path.exists(dest_dir): |
os.makedirs(dest_dir) |
+ if os.path.exists(dest_file): |
+ continue |
print '%s -> %s' % (library_path, dest_file) |
pull_cmd = [ADB_PATH, 'pull', library_path, dest_file] |
subprocess.check_call(pull_cmd, stderr=dev_null) |