diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-07-23 23:42:10 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-07-23 23:42:10 -0300 |
commit | a4191b41602acd70ee0100468aa961073bf73664 (patch) | |
tree | 58163e5cdeae4ca220233b8beb65949a6bbcd4d3 /libre/virtualbox-modules/virtualbox-modules.install | |
parent | 6a08718270b33228f9548dc419dcc3750482df76 (diff) |
virtualbox-modules-4.1.18-5: updating revision due linux-libre-3.5
Diffstat (limited to 'libre/virtualbox-modules/virtualbox-modules.install')
-rw-r--r-- | libre/virtualbox-modules/virtualbox-modules.install | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libre/virtualbox-modules/virtualbox-modules.install b/libre/virtualbox-modules/virtualbox-modules.install index b178686e2..3f2a12a3f 100644 --- a/libre/virtualbox-modules/virtualbox-modules.install +++ b/libre/virtualbox-modules/virtualbox-modules.install @@ -3,17 +3,17 @@ post_install() { ===> You must load vboxdrv module before starting VirtualBox: ===> # modprobe vboxdrv EOF - EXTRAMODULES='extramodules-3.4-LIBRE' + EXTRAMODULES='extramodules-3.5-LIBRE' depmod $(cat /usr/lib/modules/$EXTRAMODULES/version) } post_upgrade() { - EXTRAMODULES='extramodules-3.4-LIBRE' + EXTRAMODULES='extramodules-3.5-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.4-LIBRE' + EXTRAMODULES='extramodules-3.5-LIBRE' depmod $(cat /usr/lib/modules/$EXTRAMODULES/version) } |