equal
deleted
inserted
replaced
1 <!-- importing.xml --> |
1 <!-- importing.xml --> |
2 <project name="langtools" basedir=".."> |
2 <project name="langtools" basedir=".."> |
3 |
3 |
4 <script language="javascript" classpath=".idea/classes"> |
4 <script language="javascript" classpath=".idea/classes"> |
5 var ideaListener = project.getBuildListeners().firstElement(); |
|
6 var LangtoolsLogger = Java.type("idea.LangtoolsIdeaAntLogger"); |
5 var LangtoolsLogger = Java.type("idea.LangtoolsIdeaAntLogger"); |
7 project.removeBuildListener(ideaListener) |
6 new LangtoolsLogger(project) |
8 project.addBuildListener(new LangtoolsLogger(ideaListener)) |
|
9 </script> |
7 </script> |
10 |
8 |
11 <import file="../make/build.xml"/> |
9 <import file="../make/build.xml"/> |
12 |
10 |
13 <macrodef name="exec-target"> |
11 <macrodef name="exec-target"> |