diff options
author | Inna Palant <ipalant@google.com> | 2018-08-22 11:09:01 -0700 |
---|---|---|
committer | Inna Palant <ipalant@google.com> | 2018-08-22 11:09:01 -0700 |
commit | d394d7500da9f35ca9b9dc83c22ce903d74ce0ea (patch) | |
tree | 92c7e89c34415942e216d35929e7aab198a770a9 | |
parent | 7bf9c044b373f38f4a53547e0baab1f5249c0ebd (diff) | |
download | manifest-d394d7500da9f35ca9b9dc83c22ce903d74ce0ea.tar.gz |
Add platform/build to manifest
Bug: 112467361
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 00071a6d7..30d076df1 100644 --- a/default.xml +++ b/default.xml @@ -8,6 +8,7 @@ remote="aosp" sync-j="4" /> + <project path="build" name="platform/build" /> <project path="tools/buildSrc" name="platform/tools/buildSrc"> <copyfile src="base/build.gradle" dest="tools/build.gradle" /> <copyfile src="base/settings.gradle" dest="tools/settings.gradle" /> |