diff options
author | Dan Willemsen <dwillemsen@google.com> | 2019-08-21 13:17:55 -0700 |
---|---|---|
committer | Dan Willemsen <dwillemsen@google.com> | 2019-08-21 13:18:30 -0700 |
commit | 8c388e413aae157584b2433adcc44909ec147feb (patch) | |
tree | 1f90e81009b6747bed58715ec47d56f7578de1c6 | |
parent | 0bae5ced0a23b27b9ab779ceebe23ae4d6002faa (diff) | |
download | manifest-8c388e413aae157584b2433adcc44909ec147feb.tar.gz |
Remove build/kati
We've already got prebuilts of this in prebuilts/build-tools, we don't
need the source in the tree as well.
Test: treehugger
Change-Id: I1e3087cd848bab9168d3dd34a240a8f2f5e930b4
-rw-r--r-- | default.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/default.xml b/default.xml index fa83f7f4f..33af49c76 100644 --- a/default.xml +++ b/default.xml @@ -20,7 +20,6 @@ <linkfile src="tools" dest="build/tools" /> </project> <project path="build/blueprint" name="platform/build/blueprint" groups="pdk,tradefed" /> - <project path="build/kati" name="platform/build/kati" groups="pdk,tradefed" /> <project path="build/soong" name="platform/build/soong" groups="pdk,tradefed" > <linkfile src="root.bp" dest="Android.bp" /> <linkfile src="bootstrap.bash" dest="bootstrap.bash" /> |