diff options
author | Haibo Huang <hhb@google.com> | 2019-05-24 15:00:14 -0700 |
---|---|---|
committer | Haibo Huang <hhb@google.com> | 2019-05-24 15:00:14 -0700 |
commit | a06c3fb0b27bab4eec81ecb1823e235de4f1e5d1 (patch) | |
tree | e06e52691ae522d58b5d0470e1371c16f6c372bb | |
parent | 164977a6c5f0e711c194804fc4a823552fc2f695 (diff) | |
download | manifest-a06c3fb0b27bab4eec81ecb1823e235de4f1e5d1.tar.gz |
Add make to ndk manifest
Test: Not used yet
Bug: 133510638
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 1439926ff..5bef85943 100644 --- a/default.xml +++ b/default.xml @@ -70,6 +70,7 @@ <project path="toolchain/gdb" name="toolchain/gdb" groups="presubmit" /> <project path="toolchain/gmp" name="toolchain/gmp" groups="presubmit" /> <project path="toolchain/isl" name="toolchain/isl" groups="presubmit" /> + <project path="toolchain/make" name="toolchain/make" groups="presubmit" /> <project path="toolchain/mpc" name="toolchain/mpc" groups="presubmit" /> <project path="toolchain/mpfr" name="toolchain/mpfr" groups="presubmit" /> <project path="toolchain/ppl" name="toolchain/ppl" groups="presubmit" /> |