diff options
| author | Christian Neukirchen <chneukirchen@gmail.com> | 2015-05-07 16:54:11 +0200 |
|---|---|---|
| committer | Christian Neukirchen <chneukirchen@gmail.com> | 2015-05-07 16:54:11 +0200 |
| commit | 7821f06cdfa4af00058d908b2fb44866b4326108 (patch) | |
| tree | 207a29190baff12773bef91b1c7da0c821f5d0ed | |
| parent | b69755028b236f08b2334064974a2c046a9a5916 (diff) | |
| download | xtools-7821f06cdfa4af00058d908b2fb44866b4326108.tar.gz xtools-7821f06cdfa4af00058d908b2fb44866b4326108.tar.xz xtools-7821f06cdfa4af00058d908b2fb44866b4326108.zip | |
xlint: KERNEL_SITE check was too specific. v0.22
| -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' |