Bug#827696: [PATCH] checkrestart: Skip hugepages files (used by qemu)

[Axel Beckert]

Hi,

Peter Colberg wrote:
> --- a/checkrestart
> +++ b/checkrestart
> @@ -477,6 +477,9 @@ def isdeletedFile (f, blacklist = None):
>      # Or about files under /dev/shm
>      if f.startswith('/dev/shm/'):
>          return 0
> +    # Or about files under /dev/hugepages (used by qemu)
> +    if f.startswith('/dev/hugepages/'):
> +        return 0

I wonder if we shouldn't ignore everything under /dev/?

                Regards, Axel
-- 
 ,''`.  |  Axel Beckert <a...@debian.org>, http://people.debian.org/~abe/
: :' :  |  Debian Developer, ftp.ch.debian.org Admin
`. `'   |  4096R: 2517 B724 C5F6 CA99 5329  6E61 2FF9 CD59 6126 16B5
  `-    |  1024D: F067 EA27 26B9 C3FC 1486  202E C09E 1D89 9593 0EDE