diff options
Diffstat (limited to 'default.xml')
| -rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 7ef03f427..fbda917fd 100644 --- a/default.xml +++ b/default.xml @@ -114,6 +114,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" /> |