Building the module works after today's update.

jan@x61s:~$ dpkg -s virtualbox-dkms | grep Version
Version: 4.1.12-dfsg-2ubuntu0.5
jan@x61s:~$ lsmod | grep vboxdrv
vboxdrv               283008  3 vboxpci,vboxnetadp,vboxnetflt
jan@x61s:~$ uname -a
Linux x61s 3.8.0-31-generic #46~precise1-Ubuntu SMP Wed Sep 11 18:21:16 UTC 
2013 x86_64 x86_64 x86_64 GNU/Linux
jan@x61s:~$ cat /etc/issue.net 
Ubuntu 12.04.3 LTS

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/994883

Title:
  virtualbox-dkms 4.1.12-dfsg-2: virtualbox kernel module failed to
  build

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/virtualbox/+bug/994883/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to