| Index: build/android/incremental_install/installer.py
|
| diff --git a/build/android/incremental_install/installer.py b/build/android/incremental_install/installer.py
|
| index 55699f3d23f4dca55104ab42e0c96f786a1ff700..b3f72ad7bea6952d40b232e8482703a171484780 100755
|
| --- a/build/android/incremental_install/installer.py
|
| +++ b/build/android/incremental_install/installer.py
|
| @@ -74,6 +74,12 @@ def main():
|
| default=True,
|
| dest='threading',
|
| help='Do not install and push concurrently')
|
| + parser.add_argument('--no-cache',
|
| + action='store_false',
|
| + default=True,
|
| + dest='cache',
|
| + help='Do not use cached information about what files are '
|
| + 'currently on the target device.')
|
| parser.add_argument('-v',
|
| '--verbose',
|
| dest='verbose_count',
|
| @@ -177,6 +183,9 @@ def main():
|
|
|
| cache_path = '%s/files-cache.json' % device_incremental_dir
|
| def restore_cache():
|
| + if not args.cache:
|
| + logging.info('Ignoring device cache')
|
| + return
|
| # Delete the cached file so that any exceptions cause the next attempt
|
| # to re-compute md5s.
|
| cmd = 'P=%s;cat $P 2>/dev/null && rm $P' % cache_path
|
|
|