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" /> |