blob: e8ad5f9e8bb65c12bf8540e03cf2fbcb13208c54 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
Subject: [PATCH] Do not have target "build" call target "test"
--- a/build.xml 2017-03-18 16:30:34.000000000 +0300
+++ b/build.xml 2017-08-25 12:24:24.000000000 +0300
@@ -505,7 +505,7 @@
</target>
<target name="build"
- depends="init,retrieve,setup,compile,test"
+ depends="init,retrieve,setup,compile"
description="build the jEdit JAR-file with full debug-information">
<mkdir dir="${jar.location}"/>
<jar destfile="${jar.location}/${jar.filename}"
|
GitWeb
