default: Add cmsdk-api-coverage tool to manifest.
Change-Id: Idb80fa434b10b4a0e449f72fb949f25c176ac23e
diff --git a/default.xml b/default.xml
index b992eb4..026d594 100644
--- a/default.xml
+++ b/default.xml
@@ -53,6 +53,7 @@
<project path="external/bouncycastle" name="CyanogenMod/android_external_bouncycastle" groups="pdk" />
<project path="external/brctl" name="CyanogenMod/android_external_brctl" />
<project path="external/bzip2" name="CyanogenMod/android_external_bzip2" groups="pdk" />
+ <project path="external/cmsdk-api-coverage" name="CyanogenMod/android_external_cmsdk-api-coverage" />
<project path="external/connectivity" name="CyanogenMod/android_external_connectivity" />
<project path="external/curl" name="CyanogenMod/android_external_curl" />
<project path="external/dhcpcd" name="CyanogenMod/android_external_dhcpcd" groups="pdk-cw-fs,pdk-fs" />