diff options
author | rillig <rillig@pkgsrc.org> | 2006-06-26 09:53:56 +0000 |
---|---|---|
committer | rillig <rillig@pkgsrc.org> | 2006-06-26 09:53:56 +0000 |
commit | 05cf9f8da291508d1c0fe9552b143bfa5071b657 (patch) | |
tree | 0ae78611ede18913e879c134be74659aff9bc515 /databases/db3 | |
parent | 6c5a58324c873de3afdc899df5f0b373a43218aa (diff) | |
download | pkgsrc-05cf9f8da291508d1c0fe9552b143bfa5071b657.tar.gz |
Added patch-ae, which fixes the java-db3 build with jdk-1.5.
Diffstat (limited to 'databases/db3')
-rw-r--r-- | databases/db3/distinfo | 3 | ||||
-rw-r--r-- | databases/db3/patches/patch-ae | 19 |
2 files changed, 21 insertions, 1 deletions
diff --git a/databases/db3/distinfo b/databases/db3/distinfo index 21a9f46c56e..1413bf1b33a 100644 --- a/databases/db3/distinfo +++ b/databases/db3/distinfo @@ -1,4 +1,4 @@ -$NetBSD: distinfo,v 1.15 2005/12/02 19:39:23 joerg Exp $ +$NetBSD: distinfo,v 1.16 2006/06/26 09:53:56 rillig Exp $ SHA1 (db-3.3.11.tar.gz) = d6871c7e6008eb726d6fc28e3debc44d34570f93 RMD160 (db-3.3.11.tar.gz) = 08092e2cd6d67e767ed5c3f7ff55726c3f6a7d45 @@ -13,3 +13,4 @@ SHA1 (patch-aa) = fec159b70b9da369a5b95b3e74488b07c87a8bfb SHA1 (patch-ab) = ae1a963bd0ec26555718c1696b56914834a25ffc SHA1 (patch-ac) = 38b3eda1e70dbf6d27ae09affc4b570e4190788e SHA1 (patch-ad) = 750da0d7561f74d88d5a008e8eb8f59636cb5f47 +SHA1 (patch-ae) = 58e14471092d814748e1dca1a9411e8bc1ebf13d diff --git a/databases/db3/patches/patch-ae b/databases/db3/patches/patch-ae new file mode 100644 index 00000000000..447abc7c570 --- /dev/null +++ b/databases/db3/patches/patch-ae @@ -0,0 +1,19 @@ +$NetBSD: patch-ae,v 1.1 2006/06/26 09:53:56 rillig Exp $ + +Since Java 1.5, "enum" is a keyword. + +--- DbEnv.java.orig 2001-07-03 23:08:49.000000000 +0200 ++++ DbEnv.java 2006-06-26 11:48:55.000000000 +0200 +@@ -78,9 +78,9 @@ + // + /*package*/ void _notify_dbs() + { +- Enumeration enum = dblist_.elements(); +- while (enum.hasMoreElements()) { +- Db db = (Db)enum.nextElement(); ++ Enumeration e = dblist_.elements(); ++ while (e.hasMoreElements()) { ++ Db db = (Db)e.nextElement(); + db._notify_dbenv_close(); + } + dblist_.removeAllElements(); |