diff options
| author | Christian Neukirchen <chneukirchen@gmail.com> | 2015-04-24 12:02:35 +0200 |
|---|---|---|
| committer | Christian Neukirchen <chneukirchen@gmail.com> | 2015-04-24 12:02:35 +0200 |
| commit | 2c2cb15de6d7771950cb081474a7308dbd7d8d3a (patch) | |
| tree | 65dd36e76d7b88e8382279d4ea811b3100224a2b | |
| parent | 4f54b8516593d1e4155089b6ba1370f99865555a (diff) | |
| download | xtools-2c2cb15de6d7771950cb081474a7308dbd7d8d3a.tar.gz xtools-2c2cb15de6d7771950cb081474a7308dbd7d8d3a.tar.xz xtools-2c2cb15de6d7771950cb081474a7308dbd7d8d3a.zip | |
xlint: check wrksrc.
| -rwxr-xr-x | xlint | 1 |
1 files changed, 1 insertions, 0 deletions
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 |