diff options
Diffstat (limited to 'java/jgrapht/files/patch-build.xml')
| -rw-r--r-- | java/jgrapht/files/patch-build.xml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/java/jgrapht/files/patch-build.xml b/java/jgrapht/files/patch-build.xml index eb39cf5aabd2..2870d1748c70 100644 --- a/java/jgrapht/files/patch-build.xml +++ b/java/jgrapht/files/patch-build.xml @@ -1,12 +1,12 @@ Patch to allow the JDK API location to be passed to Ant using -Djdk.api ---- build.xml.orig Mon Jul 3 00:53:38 2006 -+++ build.xml Sun Mar 11 12:16:31 2007 -@@ -400,6 +400,7 @@ - <include name="**"/>
- <exclude name="org/jgrapht/experimental/**"/>
- </packageset>
-+ <link offline="true" packagelistLoc="${jdk.api}" href="${jdk.api}"/>
- </javadoc>
- </target>
-
+--- build.xml.orig 2016-06-20 15:06:43 UTC ++++ build.xml +@@ -355,6 +355,7 @@ + <include name="**"/> + <exclude name="org/jgrapht/experimental/**"/> + </packageset> ++ <link offline="true" packagelistLoc="${jdk.api}" href="${jdk.api}"/> + </javadoc> + </target> + |