Mon May 13 01:16:27 PDT 2013

3 files changed, 11 insertions, 10 deletions

diff --git a/community/virtualbox-modules/PKGBUILD b/community/virtualbox-modules/PKGBUILD
index 08ca3d9d2..838f836fd 100644
--- a/community/virtualbox-modules/PKGBUILD
+++ b/community/virtualbox-modules/PKGBUILD
@@ -1,11 +1,11 @@
-# $Id: PKGBUILD 89225 2013-04-28 06:44:11Z tpowa $
+# $Id: PKGBUILD 90419 2013-05-12 09:09:05Z thomas $
 # Maintainer: Ionut Biru <ibiru@archlinux.org>
 # Maintainer: Sébastien Luttringer
 
 pkgbase=virtualbox-modules
 pkgname=('virtualbox-host-modules' 'virtualbox-guest-modules')
 pkgver=4.2.12
-pkgrel=3
+pkgrel=5
 arch=('i686' 'x86_64')
 url='http://virtualbox.org'
 license=('GPL')
@@ -17,7 +17,7 @@ makedepends=('linux-headers'
 
 build() {
   _kernver=$(expac -Q '%v' linux-headers)-ARCH
-
+  #_kernver=3.9.0-1-ARCH
   # dkms need modification to be run as user
   cp -r /var/lib/dkms .
   echo "dkms_tree='$srcdir/dkms'" > dkms.conf
@@ -31,8 +31,8 @@ build() {
 
 package_virtualbox-host-modules(){
   _kernver=$(expac -Q '%v' linux-headers)-ARCH
+  #_kernver=3.9.0-1-ARCH
   _extraver=extramodules-${_kernver%.*}-ARCH
-
   pkgdesc='Host kernel modules for VirtualBox'
   depends=("linux>=${_kernver%.*}" "linux<$(echo "${_kernver%.*}+0.1"|bc)")
   replaces=('virtualbox-modules')
@@ -48,6 +48,7 @@ package_virtualbox-host-modules(){
 
 package_virtualbox-guest-modules(){
   _kernver=$(expac -Q '%v' linux-headers)-ARCH
+  #_kernver=3.9.0-1-ARCH
   _extraver=extramodules-${_kernver%.*}-ARCH
 
   pkgdesc='Guest kernel modules for VirtualBox'
diff --git a/community/virtualbox-modules/virtualbox-guest-modules.install b/community/virtualbox-modules/virtualbox-guest-modules.install
index 3e61f3447..9084c05fd 100644
--- a/community/virtualbox-modules/virtualbox-guest-modules.install
+++ b/community/virtualbox-modules/virtualbox-guest-modules.install
@@ -2,16 +2,16 @@ post_install() {
 cat << EOF
 ===> You may want to load vboxguest, vboxsf and vboxvideo
 EOF
-    EXTRAMODULES='extramodules-3.8-ARCH'
+    EXTRAMODULES='extramodules-3.9-ARCH'
     depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
 }
 
 post_upgrade() {
-    EXTRAMODULES='extramodules-3.8-ARCH'
+    EXTRAMODULES='extramodules-3.9-ARCH'
     depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
 }
 
 post_remove() {
-    EXTRAMODULES='extramodules-3.8-ARCH'
+    EXTRAMODULES='extramodules-3.9-ARCH'
     depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
 }
diff --git a/community/virtualbox-modules/virtualbox-host-modules.install b/community/virtualbox-modules/virtualbox-host-modules.install
index 378dab975..78791f71d 100644
--- a/community/virtualbox-modules/virtualbox-host-modules.install
+++ b/community/virtualbox-modules/virtualbox-host-modules.install
@@ -3,17 +3,17 @@ cat << EOF
 ===> You must load vboxdrv module before starting VirtualBox:
 ===> # modprobe vboxdrv
 EOF
-    EXTRAMODULES='extramodules-3.8-ARCH'
+    EXTRAMODULES='extramodules-3.9-ARCH'
     depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
 }
 
 post_upgrade() {
-    EXTRAMODULES='extramodules-3.8-ARCH'
+    EXTRAMODULES='extramodules-3.9-ARCH'
     depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
     echo 'In order to use the new version, reload all virtualbox modules manually.'
 }
 
 post_remove() {
-    EXTRAMODULES='extramodules-3.8-ARCH'
+    EXTRAMODULES='extramodules-3.9-ARCH'
     depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
 }