diff options
| author | android-build-prod (mdb) <android-build-team-robot@google.com> | 2018-08-24 17:06:57 +0000 |
|---|---|---|
| committer | android-build-prod (mdb) <android-build-team-robot@google.com> | 2018-08-24 17:07:08 +0000 |
| commit | ea74288bd701c1c121afe2a443122c8da5d87893 (patch) | |
| tree | 71215ef8375ee3065c53bf464442646ff5b97c85 | |
| parent | e02d3cf495b5d9f1369408bc08c79c2d80bdaea4 (diff) | |
| download | manifest-ea74288bd701c1c121afe2a443122c8da5d87893.tar.gz | |
DO NOT MERGE ANYWHERE Create manifest for pie-gsi
Change-Id: Idd958c7b348bd9f7f921d8f2c8f9b2fa8a2d74c7
BUG: 112122255
| -rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index d4c483f52..b21fef627 100644 --- a/default.xml +++ b/default.xml @@ -4,7 +4,7 @@ <remote name="aosp" fetch=".." review="https://android-review.googlesource.com/" /> - <default revision="pie-platform-release" + <default revision="pie-gsi" remote="aosp" sync-j="4" /> |