diff options
| -rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 072f9ae7c..285686282 100644 --- a/default.xml +++ b/default.xml @@ -75,6 +75,7 @@ <project path="external/easymock" name="platform/external/easymock" /> <project path="external/eclipse-basebuilder" name="platform/external/eclipse-basebuilder" /> <project path="external/eclipse-windowbuilder" name="platform/external/eclipse-windowbuilder" /> + <project path="external/eigen" name="platform/external/eigen" /> <project path="external/elfutils" name="platform/external/elfutils" /> <project path="external/embunit" name="platform/external/embunit" /> <project path="external/emma" name="platform/external/emma" /> |