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--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 1ac430c3b..0a6d187e5 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.7-LIBRE'
+ EXTRAMODULES='extramodules-3.8-LIBRE'
depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
}
post_upgrade() {
- EXTRAMODULES='extramodules-3.7-LIBRE'
+ EXTRAMODULES='extramodules-3.8-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.7-LIBRE'
+ EXTRAMODULES='extramodules-3.8-LIBRE'
depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
}