diff options
| author | root <root@rshg054.dnsready.net> | 2012-12-21 02:59:15 -0800 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2012-12-21 02:59:15 -0800 |
| commit | ebf350f32a8352abbd1bb4a8a49ed750bb23f285 (patch) | |
| tree | 1ebf65f72d0e3bd77cae555c194a3e64ecfa3dd7 /libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install | |
| parent | fecd6286e00e6e25458a7d1b8b80f6fdb236a7a2 (diff) | |
Fri Dec 21 02:53:46 PST 2012
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) } |