diff options
| author | Christian Neukirchen <chneukirchen@gmail.com> | 2014-10-11 21:36:08 +0200 |
|---|---|---|
| committer | Christian Neukirchen <chneukirchen@gmail.com> | 2014-10-11 21:36:08 +0200 |
| commit | 1a2dc3152650bf0d61784d6f8e8f2507a0e3556b (patch) | |
| tree | 38f15e49ba777f0b08289ca2da3cf1afab0a935e | |
| parent | 7cf4fd534acad542a101d7c5ebf5388952f48680 (diff) | |
| download | xtools-1a2dc3152650bf0d61784d6f8e8f2507a0e3556b.tar.gz xtools-1a2dc3152650bf0d61784d6f8e8f2507a0e3556b.tar.xz xtools-1a2dc3152650bf0d61784d6f8e8f2507a0e3556b.zip | |
xlint: optional /pub for $GNU_SITE
| -rwxr-xr-x | xlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xlint b/xlint index a69ab03..f4bffd7 100755 --- a/xlint +++ b/xlint @@ -105,6 +105,6 @@ for template; do scan 'distfiles=.*cpan\.org' 'use $CPAN_SITE' scan 'distfiles=.*pypi\.python\.org' 'use $PYPI_SITE' scan 'distfiles=.*ftp\.mozilla\.org' 'use $MOZILLA_SITE' - scan 'distfiles=.*ftp\.gnu\.org/pub/gnu' 'use $GNU_SITE' + scan 'distfiles=.*ftp\.gnu\.org/(pub/)?gnu' 'use $GNU_SITE' scan 'distfiles=.*freedesktop\.org/software' 'use $FREEDESKTOP_SITE' done |