diff options
Diffstat (limited to 'dev-java/jdom/files/jdom-1.0_beta8-nojdk1.1.patch')
| -rw-r--r-- | dev-java/jdom/files/jdom-1.0_beta8-nojdk1.1.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/dev-java/jdom/files/jdom-1.0_beta8-nojdk1.1.patch b/dev-java/jdom/files/jdom-1.0_beta8-nojdk1.1.patch new file mode 100644 index 000000000000..97784beff557 --- /dev/null +++ b/dev-java/jdom/files/jdom-1.0_beta8-nojdk1.1.patch @@ -0,0 +1,18 @@ +--- build.xml.orig 2002-03-29 01:28:29.000000000 +0800 ++++ build.xml 2003-02-15 17:22:02.000000000 +0800 +@@ -47,9 +47,14 @@ + <filter token="verbose" value="true"/> + + <!-- JDK1.1 collections --> ++ <!-- + <property name="coll.import" value="com.sun.java.util.collections"/> + <available classname="${coll.import}.Collection" property="coll.present"/> +- ++ --> ++ ++ <!-- JDK1.4 collections --> ++ <property name="coll.import" value="java.util"/> ++ <available classname="${coll.import}.Collection" property="coll.present"/> + </target> + + <!-- =================================================================== --> |