diff options
| author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-04-08 04:57:48 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-04-08 04:57:48 -0300 |
| commit | 4342f396a098b4faf3a0a2623d94f21b2e68253a (patch) | |
| tree | 992494f68e985dcd4fbd4192a121a99fe5186bd9 /libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install | |
| parent | 65f7f824c6b3e59781587673d6b4de042003b667 (diff) | |
rebuild packages against linux-libre-3.8.6-1
Diffstat (limited to 'libre/virtualbox-libre-modules/virtualbox-libre-host-modules.install')
| -rw-r--r-- | 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 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) } |