diff options
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index b3274c2..9c21191 100644 --- a/default.xml +++ b/default.xml @@ -134,6 +134,7 @@ <project path="external/eigen" name="platform/external/eigen" groups="pdk" /> <project path="external/elfutils" name="platform/external/elfutils" groups="pdk" /> <project path="external/emma" name="platform/external/emma" groups="pdk" /> + <project path="external/epid-sdk" name="platform/external/epid-sdk" groups="pdk" /> <project path="external/error_prone" name="platform/external/error_prone" groups="pdk" /> <project path="external/esd" name="platform/external/esd" groups="pdk" /> <project path="external/expat" name="platform/external/expat" groups="pdk" /> |