diff options
| author | Mathieu Arnold <mat@FreeBSD.org> | 2016-06-20 16:23:28 +0000 |
|---|---|---|
| committer | Mathieu Arnold <mat@FreeBSD.org> | 2016-06-20 16:23:28 +0000 |
| commit | 7ae7b018ccf7760013f368fcb83aad9ecd8982a8 (patch) | |
| tree | e83ee6693050a76e305a95a376451aa583df151e /java/jgrapht/files | |
| parent | a35ba13770957a577275c3575d979457605f2aff (diff) | |
| download | ports-7ae7b018ccf7760013f368fcb83aad9ecd8982a8.tar.gz ports-7ae7b018ccf7760013f368fcb83aad9ecd8982a8.zip | |
Notes
Diffstat (limited to 'java/jgrapht/files')
| -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> + |