diff options
author | Dan Albert <danalbert@google.com> | 2016-04-21 11:41:05 -0700 |
---|---|---|
committer | Dan Albert <danalbert@google.com> | 2016-04-21 11:42:52 -0700 |
commit | 0eb35214ca6f6954ded44e69844bbebe196bf476 (patch) | |
tree | 9d60622882528237d84d5f80f03b8f15a085007e | |
parent | 5442888ea038799498cc4a1a0c4c60ed92c677ec (diff) | |
download | manifest-0eb35214ca6f6954ded44e69844bbebe196bf476.tar.gz |
Put bionic back in the manifest.
Apparently we use this in gen-platforms.sh (not sure we need to, but
we do). Put it back for now and enable presubmit on it.
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index bc8d1a365..3dd33ed72 100644 --- a/default.xml +++ b/default.xml @@ -8,6 +8,7 @@ remote="aosp" sync-j="4" /> + <project path="bionic" name="platform/bionic" groups="presubmit" /> <project path="development" name="platform/development" groups="presubmit" /> <project path="external/googletest" name="platform/external/googletest" groups="presubmit" /> <project path="external/shaderc/glslang" name="platform/external/shaderc/glslang" groups="presubmit" /> |