diff options
author | Nick Kralevich <nnk@google.com> | 2013-11-26 16:53:06 -0800 |
---|---|---|
committer | Nick Kralevich <nnk@google.com> | 2013-11-26 17:07:58 -0800 |
commit | 7ac3161ac2036eacb90c9198db931e2727e16e97 (patch) | |
tree | 63873568e599338a72ed57e38d2a91a54a22d47b | |
parent | 303c2559ffea2f14ab9613c4cbd1553bbcd2c824 (diff) | |
download | manifest-7ac3161ac2036eacb90c9198db931e2727e16e97.tar.gz |
Add external/pcre to default.xml
Bug: 11881977
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index a5380f9bc..e99cf35ce 100644 --- a/default.xml +++ b/default.xml @@ -196,6 +196,7 @@ <project path="external/openssh" name="platform/external/openssh" /> <project path="external/openssl" name="platform/external/openssl" groups="pdk" /> <project path="external/oprofile" name="platform/external/oprofile" /> + <project path="external/pcre" name="platform/external/pcre" /> <project path="external/pixman" name="platform/external/pixman" /> <project path="external/ppp" name="platform/external/ppp" /> <project path="external/proguard" name="platform/external/proguard" groups="pdk-java" /> |