diff options
| author | Robert Berry <robertberry@google.com> | 2017-07-31 15:26:57 +0100 |
|---|---|---|
| committer | Robert Berry <robertberry@google.com> | 2017-07-31 16:40:33 +0100 |
| commit | e8564b752d53198b13e80db63c207d89665309a4 (patch) | |
| tree | 73dc136430bfd0c036f648b9fa7bc4ecefd6b7f8 /rs/java/android/renderscript/ProgramStore.java | |
| parent | 13b17b29905c33a370989a80722b2f920aaa4ae5 (diff) | |
Do not remove uninstalled packages from journal
The point of this journal is to remember whether a package was ever
backed up on the device, so as to know, when re-installing a package,
which restore set to restore from (i.e., the restore set of the
current device - if the package has been backed up on the current
device - or the restore set of the ancestral device).
Bug: 63794452
Test: Manual
Change-Id: I6519ed625124487ffb09b7c3899550e4d791e0df
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions