diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-27 07:56:17 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-27 07:56:17 -0500 |
| commit | d3bead6e6ee8703915dcc7c501fd3e198899ba5c (patch) | |
| tree | e6c493754df3ed95d05e50775fc2d3abd00ffd50 /libre/jedit/jedit-fix_build.patch | |
| parent | 1cba537c2b57e0b3d656d257c8cec2750e0c41a6 (diff) | |
jedit: add new package to [libre]
Diffstat (limited to 'libre/jedit/jedit-fix_build.patch')
| -rw-r--r-- | libre/jedit/jedit-fix_build.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/libre/jedit/jedit-fix_build.patch b/libre/jedit/jedit-fix_build.patch new file mode 100644 index 000000000..367dfdf7c --- /dev/null +++ b/libre/jedit/jedit-fix_build.patch @@ -0,0 +1,11 @@ +--- jEdit.orig/build.xml 2015-10-20 12:56:08.000000000 -0500 ++++ jEdit/build.xml 2016-06-27 03:39:13.537041553 -0500 +@@ -119,7 +119,7 @@ + + <target name="retrieve" + description="retrieve the dependencies" +- depends="init,init-ivy" ++ depends="init" + unless="ivy.done"> + <ivy:retrieve sync="true"/> + <ivy:retrieve pattern="${lib.dir}/ivy/[artifact]-[revision].[ext]" |