diff options
author | Bill Yi <byi@google.com> | 2018-08-08 13:26:20 -0700 |
---|---|---|
committer | Bill Yi <byi@google.com> | 2018-08-08 13:26:20 -0700 |
commit | e02d3cf495b5d9f1369408bc08c79c2d80bdaea4 (patch) | |
tree | ad0028d55da80126cfb059668dfeed3223737d25 | |
parent | 88dfb13583c43e2c17fb955ad44ef17a6f30a9a0 (diff) | |
download | manifest-e02d3cf495b5d9f1369408bc08c79c2d80bdaea4.tar.gz |
Manifest for pie-platform-release
Change-Id: I1e1f42a24c73c9dd45643119a558d2d38219e72f
-rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index 6fa093e27..d4c483f52 100644 --- a/default.xml +++ b/default.xml @@ -4,7 +4,7 @@ <remote name="aosp" fetch=".." review="https://android-review.googlesource.com/" /> - <default revision="pie-release" + <default revision="pie-platform-release" remote="aosp" sync-j="4" /> |