From e4ddd99cc75ae1087c1808074d0b30d19dbb0735 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Tue, 2 Jul 2013 10:00:04 +0200
Subject: [PATCH] netbsd-rumpkernel: update to 20130702.

---
 srcpkgs/netbsd-rumpkernel/template | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/netbsd-rumpkernel/template b/srcpkgs/netbsd-rumpkernel/template
index 1fad0ac22c7..551e33e6b4e 100644
--- a/srcpkgs/netbsd-rumpkernel/template
+++ b/srcpkgs/netbsd-rumpkernel/template
@@ -1,6 +1,6 @@
 # Template file for 'netbsd-rumpkernel'.
 pkgname=netbsd-rumpkernel
-version=20130603
+version=20130702
 revision=1
 hostmakedepends="cvs"
 short_desc="NetBSD rump kernel"
@@ -50,6 +50,7 @@ netbsd-rumpkernel-devel_package() {
 		vmove usr/include
 		vmove usr/share
 		vmove "usr/lib/*.a"
+		vmove "usr/lib/*.so"
 	}
 }