diff options
| author | Christian Neukirchen <chneukirchen@gmail.com> | 2015-07-02 19:18:30 +0200 |
|---|---|---|
| committer | Christian Neukirchen <chneukirchen@gmail.com> | 2015-07-02 19:18:30 +0200 |
| commit | c683ab785d3b040981420b71432c1569195ff822 (patch) | |
| tree | d5ee724f3f45a8709f9aeff3ed2a69af2816c158 | |
| parent | 2288e5e4b4793b036d79b559f7f862d51b9b7847 (diff) | |
| download | xtools-c683ab785d3b040981420b71432c1569195ff822.tar.gz xtools-c683ab785d3b040981420b71432c1569195ff822.tar.xz xtools-c683ab785d3b040981420b71432c1569195ff822.zip | |
xlint: use $DEBIAN_SITE for ftp.*debian.org only.
Closes #20.
| -rwxr-xr-x | xlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xlint b/xlint index 3e45bd8..90dd75e 100755 --- a/xlint +++ b/xlint @@ -154,7 +154,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=.*(?<!people\.)debian\.org' 'use $DEBIAN_SITE' + scan 'distfiles=.*ftp.*debian\.org' 'use $DEBIAN_SITE' scan 'distfiles=.*gnome\.org/pub' 'use $GNOME_SITE' scan 'distfiles=.*www\.kernel\.org/pub/linux' 'use $KERNEL_SITE' scan 'distfiles=.*cpan\.org' 'use $CPAN_SITE' |