On 2017-02-28 13:44:46 +0000, Luca Boccassi wrote: > The kernel headers packages have the name versioned after the ABI > version. DKMS understanding is that as long as the package name (and > thus the ABI version) does not change, then there is no need to rebuild > as the ABI is (assumed to be) compatible. When the headers packages > change name, then DKMS automatically rebuilds. > > If the ABI change is not compatible but the package name does not > change, DKMS has no way to figure out that it needs to rebuild.
Then, isn't this a kernel bug? I mean, the ABI has changed, so that the number should have changed to 4.9.0-3 instead of remaining at 4.9.0-2. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
