summary refs log tree commit diff
diff options
context:
space:
mode:
authorLeah Neukirchen <leah@vuxu.org>2017-07-24 17:54:12 +0200
committerLeah Neukirchen <leah@vuxu.org>2017-07-24 17:54:12 +0200
commit386a4038dd9d2b1e6d76e897dd36d17f9121a025 (patch)
tree90b5e24d04936c2331b3b6fe8b23fa24e50045f7
parent3687dc717948eec3953890e10986fd69b23d271e (diff)
downloadxtools-386a4038dd9d2b1e6d76e897dd36d17f9121a025.tar.gz
xtools-386a4038dd9d2b1e6d76e897dd36d17f9121a025.tar.xz
xtools-386a4038dd9d2b1e6d76e897dd36d17f9121a025.zip
xlint: don't warn on vbin with different permissions
Fixes #64.
-rwxr-xr-xxlint2
1 files changed, 1 insertions, 1 deletions
diff --git a/xlint b/xlint
index 54de851..8c47837 100755
--- a/xlint
+++ b/xlint
@@ -145,7 +145,7 @@ for template; do
 	if ! sed -n '/^version=/{n;/revision=/b;q1}' "$template"; then
 		scan 'revision=' "revision does not appear immediately after version"
 	fi
-	scan 'vinstall.* usr/bin' "use vbin"
+	scan 'vinstall.* 0?755.*usr/bin' "use vbin"
 	scan 'vinstall.* usr/share/man' "use vman"
 	scan 'vinstall.* usr/share/licenses' "use vlicense"
 	scan '^  ' "indent with tabs" | once