diff options
author | Christopher Ferris <cferris@google.com> | 2014-04-21 17:40:05 -0700 |
---|---|---|
committer | Conley Owens <cco3@android.com> | 2014-04-22 17:43:06 +0000 |
commit | bcee9c0cd8a36bab28b491375a4806cf06a9cd15 (patch) | |
tree | 29a9a70731d017b169ad3606701af432a3c80d9d | |
parent | 77fe5f801f4b8bce65f30bf38cf3ceba15723301 (diff) | |
download | manifest-bcee9c0cd8a36bab28b491375a4806cf06a9cd15.tar.gz |
Add the external/jemalloc project.
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 3654fd7b1..040411a94 100644 --- a/default.xml +++ b/default.xml @@ -145,6 +145,7 @@ <project path="external/javasqlite" name="platform/external/javasqlite" /> <project path="external/javassist" name="platform/external/javassist" /> <project path="external/jdiff" name="platform/external/jdiff" /> + <project path="external/jemalloc" name="platform/external/jemalloc" /> <project path="external/jhead" name="platform/external/jhead" groups="pdk" /> <project path="external/jmdns" name="platform/external/jmdns" /> <project path="external/jmonkeyengine" name="platform/external/jmonkeyengine" /> |