From ebf350f32a8352abbd1bb4a8a49ed750bb23f285 Mon Sep 17 00:00:00 2001 From: root Date: Fri, 21 Dec 2012 02:59:15 -0800 Subject: Fri Dec 21 02:53:46 PST 2012 --- .../virtualbox-libre-modules/virtualbox-libre-host-modules.install | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install') diff --git a/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install b/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install index 8605cf20a..1ac430c3b 100755 --- a/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install +++ b/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install @@ -3,17 +3,17 @@ cat << EOF ===> You must load vboxdrv module before starting VirtualBox: ===> # modprobe vboxdrv EOF - EXTRAMODULES='extramodules-3.5-LIBRE' + EXTRAMODULES='extramodules-3.7-LIBRE' depmod $(cat /usr/lib/modules/$EXTRAMODULES/version) } post_upgrade() { - EXTRAMODULES='extramodules-3.5-LIBRE' + EXTRAMODULES='extramodules-3.7-LIBRE' 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.5-LIBRE' + EXTRAMODULES='extramodules-3.7-LIBRE' depmod $(cat /usr/lib/modules/$EXTRAMODULES/version) } -- cgit v1.2.3-54-g00ecf