diff options
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 70055b5..71aa5bb 100644 --- a/default.xml +++ b/default.xml @@ -113,6 +113,7 @@ <project path="external/jhead" name="platform/external/jhead" /> <project path="external/jpeg" name="platform/external/jpeg" /> <project path="external/junit" name="platform/external/junit" /> + <project path="external/kernel-headers" name="platform/external/kernel-headers" /> <project path="external/lcc" name="platform/external/lcc" /> <project path="external/libffi" name="platform/external/libffi" /> <project path="external/libpcap" name="platform/external/libpcap" /> |