diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-12-20 18:13:51 -0200 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-12-20 18:13:51 -0200 |
commit | a4c9e8588d3bef448d6986153e0fa2a78e047a63 (patch) | |
tree | 3b78f5cdf79a43f0154c3ecbefd4e59d358e4243 /libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install | |
parent | a901f69dc38e2841d12457386b09281c003932c4 (diff) |
virtualbox-libre-modules-4.2.4-3: updating revision due rebuilding against linux-libre-3.7 series
Diffstat (limited to 'libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install')
-rwxr-xr-x | libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install | 6 |
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 --- 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) } |