[Pkg-dkms-maint] Bug#688904: dkms remove on kernels with major > 9

[Christoph Egger]

tag 688904 +patch
kthxbye

Indeed it seems to be the problem indeed.

In line 1833 replacing

 for directory in "$dkms_tree/$1/$2/"${3:-[0-9].*}/${4:-*}; do

with

  for directory in "$dkms_tree/$1/$2/"${3:-[0-9]?.*}/${4:-*}; do

did the trick for me though I admit *this* way of fixing the glob is a
bit ugly -- needs someone with more bash clue to work out something
better but should be easy enough now ;-)

Regards

    Christoph