From: aclement <aclement>
Date: Thu, 11 Jan 2007 16:09:14 +0000 (+0000)
Subject: 148190: reworked code to cope with new module ajde.core
X-Git-Tag: Root_extensions~39
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=c185ea6fda83999e4f9513999b9a38c8bab771e8;p=aspectj.git

148190: reworked code to cope with new module ajde.core
---

diff --git a/build/build-properties.xml b/build/build-properties.xml
index 80e0978a5..42dc3ae33 100644
--- a/build/build-properties.xml
+++ b/build/build-properties.xml
@@ -107,7 +107,7 @@
 		<property file="${aspectj.modules.build.dir}/junit-patterns.properties"/>
 				
 		<property name="aspectj.tools.modules.13"
-			value="ajbrowser,ajde,ajdoc,asm,bridge,loadtime,org.aspectj.ajdt.core,runtime,taskdefs,util,weaver"/>
+			value="ajbrowser,ajde,ajde.core,ajdoc,asm,bridge,loadtime,org.aspectj.ajdt.core,runtime,taskdefs,util,weaver"/>
 		<property name="aspectj.tools.modules.15"
 			value="loadtime5,aspectj5rt,weaver5"/>
 		<condition property="aspectj.tools.modules"