reopen 560822 tag 560822 patch thanks i've created a patch that automatically fetches the headers if they are missing. see attached debdiff. i believe error checking is sufficient because if apt-get fails, then the existance of the modules is checked again, and an error is thrown if they are still missing.
mike
dkms.debdiff
Description: Binary data
