diff options
| author | Christian Neukirchen <chneukirchen@gmail.com> | 2014-12-03 17:00:37 +0100 |
|---|---|---|
| committer | Christian Neukirchen <chneukirchen@gmail.com> | 2014-12-03 17:00:37 +0100 |
| commit | 4478129b85f9833de69aac3415978f4f5a14ae17 (patch) | |
| tree | f9224346141aafc5a72801575deef6e6a0ea54b5 | |
| parent | 91cc89d942ca10ed89a25a2ae414c4d9b64dd700 (diff) | |
| download | xtools-4478129b85f9833de69aac3415978f4f5a14ae17.tar.gz xtools-4478129b85f9833de69aac3415978f4f5a14ae17.tar.xz xtools-4478129b85f9833de69aac3415978f4f5a14ae17.zip | |
xlint: whitelist people.debian.org.
| -rwxr-xr-x | xlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xlint b/xlint index 90e00fa..89809ef 100755 --- a/xlint +++ b/xlint @@ -119,7 +119,7 @@ for template; do scan 'distfiles=.*savannah.nongnu\.org' 'use $NONGNU_SITE' scan 'distfiles=.*archive\.ubuntu\.com' 'use $UBUNTU_SITE' scan 'distfiles=.*xorg\.freedesktop\.org' 'use $XORG_SITE' - scan 'distfiles=.*debian\.org' 'use $DEBIAN_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=.*cpan\.org' 'use $CPAN_SITE' |