148190#27: patch for new module ajde.core

diff --git a/eclipse.plugin/build.xml b/eclipse.plugin/build.xml
index b0630f1aa4f00626791fac96778493482b47195a..084355587ae2ef1cc4e32828f6346bb95a55ffa1 100644 (file)
--- a/eclipse.plugin/build.xml
+++ b/eclipse.plugin/build.xml
@@ -82,6 +82,7 @@
         >
             <fileset dir="${aspectj.modules.dir}/ajbrowser/src" />
             <fileset dir="${aspectj.modules.dir}/ajde/src" />
+            <fileset dir="${aspectj.modules.dir}/ajde.core/src" />
             <fileset dir="${aspectj.modules.dir}/ajdoc/src" />
             <fileset dir="${aspectj.modules.dir}/asm/src" />
             <fileset dir="${aspectj.modules.dir}/aspectj5rt/java5-src"