summary refs log tree commit diff
diff options
context:
space:
mode:
authorChristian Neukirchen <chneukirchen@gmail.com>2014-10-11 21:36:08 +0200
committerChristian Neukirchen <chneukirchen@gmail.com>2014-10-11 21:36:08 +0200
commit1a2dc3152650bf0d61784d6f8e8f2507a0e3556b (patch)
tree38f15e49ba777f0b08289ca2da3cf1afab0a935e
parent7cf4fd534acad542a101d7c5ebf5388952f48680 (diff)
downloadxtools-1a2dc3152650bf0d61784d6f8e8f2507a0e3556b.tar.gz
xtools-1a2dc3152650bf0d61784d6f8e8f2507a0e3556b.tar.xz
xtools-1a2dc3152650bf0d61784d6f8e8f2507a0e3556b.zip
xlint: optional /pub for $GNU_SITE
-rwxr-xr-xxlint2
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