diff options
Diffstat (limited to 'dev-java/jung/files/jung-1.7.6-build.xml.patch')
| -rw-r--r-- | dev-java/jung/files/jung-1.7.6-build.xml.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/dev-java/jung/files/jung-1.7.6-build.xml.patch b/dev-java/jung/files/jung-1.7.6-build.xml.patch new file mode 100644 index 000000000000..1ddf38597d6f --- /dev/null +++ b/dev-java/jung/files/jung-1.7.6-build.xml.patch @@ -0,0 +1,20 @@ +--- build.xml 2009-05-24 12:12:51.007684864 +1200 ++++ build.xml 2009-05-24 12:39:01.796913330 +1200 +@@ -83,7 +83,7 @@ + </fileset> + </path> + +- <taskdef classpathref="jcoverage" resource="tasks.properties"/> ++ <!--<taskdef classpathref="jcoverage" resource="tasks.properties"/>--> + + <target name="clean" description="clean up build artefacts" unless="cleaned"> + <delete quiet="true"> +@@ -157,7 +157,7 @@ + the instrumented classes reference classes used by the + jcoverage runtime. + --> +- <classpath refid="jcoverage"/> ++ <!--<classpath refid="jcoverage"/>--> + <classpath refid="alljars"/> + <!-- <formatter type="brief" usefile="false"/> --> + <formatter type="xml"/> |