diff options
author | Aurimas Liutikas <aurimas@google.com> | 2020-07-01 16:41:41 -0700 |
---|---|---|
committer | Aurimas Liutikas <aurimas@google.com> | 2020-07-01 16:41:41 -0700 |
commit | 298360812704f6e1fc937dd007a6bdafd84ddeb2 (patch) | |
tree | 94a23ac449338ee842516cc8400ff47be8263954 | |
parent | 71350b966c556cf06b72d5aa3f44bb3e70492324 (diff) | |
download | manifest-298360812704f6e1fc937dd007a6bdafd84ddeb2.tar.gz |
Add platfrom/manifest to the manifest
While this is very meta, this allows for an easy way to make manifest
changes locally and still use `repo upload`.
Test: local modification to .repo/manifests/default.xml
Change-Id: If5162ac8a3627be2ecf893baa750eadf4bbb277a
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 8dcf0e515..da40397a8 100644 --- a/default.xml +++ b/default.xml @@ -8,6 +8,7 @@ sync-j="8" /> <!-- BEGIN dependencies --> <project path="build/make" name="platform/build" /> + <project path="manifest" name="platform/manifest" /> <!-- External dependencies --> <!-- Config: shallow + same revision --> <project path="external/noto-fonts" name="platform/external/noto-fonts" groups="pdk" clone-depth="1" /> |