diff options
| -rwxr-xr-x | xlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xlint b/xlint index 7123eaa..336d52a 100755 --- a/xlint +++ b/xlint @@ -151,7 +151,7 @@ for template; do scan 'distfiles=.*xorg\.freedesktop\.org' 'use $XORG_SITE' scan 'distfiles=.*(?<!people\.)debian\.org' 'use $DEBIAN_SITE' scan 'distfiles=.*gnome\.org/pub' 'use $GNOME_SITE' - scan 'distfiles=.*www\.kernel\.org' 'use $KERNEL_SITE' + scan 'distfiles=.*www\.kernel\.org/pub/linux' 'use $KERNEL_SITE' scan 'distfiles=.*cpan\.org' 'use $CPAN_SITE' scan 'distfiles=.*pypi\.python\.org' 'use $PYPI_SITE' scan 'distfiles=.*ftp\.mozilla\.org' 'use $MOZILLA_SITE' |