Bug#637032: please allow /lib/modules mount points

[Colin Watson <cjwatson@debian.org>]

On Sun, Aug 07, 2011 at 10:37:43PM +0000, Robert Millan wrote:
> check.d/proper_mountpoints prevents placing mount points in a subdirectory
> of /lib.  At least on GNU/kFreeBSD, using /lib/modules as mount point is not
> only supported but even mandatory for certain configurations when using ZFS.
> 
> I traced the addition of "/lib*" to commit 3a083d4f9167b52155aff7b1d2e431da4ea031a1
> by Colin Watson (CCed).  Assuming the intent was to match all directories in /
> that begin with "lib" (i.e. /lib{,32,64}), my proposed patch is to list them
> explicitly.

That was indeed the intent.  Please go ahead and commit your patch.

Thanks,

-- 
Colin Watson                                       [cjwatson@debian.org]