| 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)
|
|
|