From 2c2cb15de6d7771950cb081474a7308dbd7d8d3a Mon Sep 17 00:00:00 2001 From: Christian Neukirchen Date: Fri, 24 Apr 2015 12:02:35 +0200 Subject: xlint: check wrksrc. --- xlint | 1 + 1 file changed, 1 insertion(+) diff --git a/xlint b/xlint index e949333..7123eaa 100755 --- a/xlint +++ b/xlint @@ -157,6 +157,7 @@ for template; do scan 'distfiles=.*ftp\.mozilla\.org' 'use $MOZILLA_SITE' scan 'distfiles=.*ftp\.gnu\.org/(pub/)?gnu' 'use $GNU_SITE' scan 'distfiles=.*freedesktop\.org/software' 'use $FREEDESKTOP_SITE' + scan '^wrksrc=(\$\{[^}]+\}|[^${}/])*/.+' 'wrksrc should be a top-level directory' else echo no such template "$template" 1>&2 fi | sort -t: -n -k2 | grep . && ret=1 -- cgit 1.4.1