Processed: Re: Bug#988367: linux-headers 4.19.165 '"make scripts" results fatal error: classmap.h: No such file or directory'
Processing control commands:
> reopen -1
Bug #988367 {Done: Andrei POPESCU <andreimpopescu@gmail.com>} [linux-headers] linux-headers 4.19.165 '"make scripts" results fatal error: classmap.h: No such file or directory'
Warning: Unknown package 'linux-headers'
Bug reopened
Warning: Unknown package 'linux-headers'
Warning: Unknown package 'linux-headers'
Ignoring request to alter fixed versions of bug #988367 to the same values previously set
Warning: Unknown package 'linux-headers'
> reassign -1 src:linux 4.19.181-1
Bug #988367 [linux-headers] linux-headers 4.19.165 '"make scripts" results fatal error: classmap.h: No such file or directory'
Warning: Unknown package 'linux-headers'
Bug reassigned from package 'linux-headers' to 'src:linux'.
No longer marked as found in versions 4.19.165-cip41-rt18.
Ignoring request to alter fixed versions of bug #988367 to the same values previously set
Bug #988367 [src:linux] linux-headers 4.19.165 '"make scripts" results fatal error: classmap.h: No such file or directory'
Marked as found in versions linux/4.19.181-1.
--
988367: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=988367
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: