summaryrefslogtreecommitdiff
path: root/libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install
diff options
context:
space:
mode:
Diffstat (limited to 'libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install')
-rw-r--r--[-rwxr-xr-x]libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install6
1 files changed, 3 insertions, 3 deletions
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..100644
--- 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)
}