From 66cb4a487ad73063c6b000279a5d5558fb7603f5 Mon Sep 17 00:00:00 2001 From: root Date: Mon, 13 May 2013 01:16:28 -0700 Subject: Mon May 13 01:16:27 PDT 2013 --- community/virtualbox-modules/virtualbox-host-modules.install | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'community/virtualbox-modules/virtualbox-host-modules.install') 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) } -- cgit v1.2.3-54-g00ecf