diff options
| author | Leah Neukirchen <leah@vuxu.org> | 2017-07-24 17:54:12 +0200 |
|---|---|---|
| committer | Leah Neukirchen <leah@vuxu.org> | 2017-07-24 17:54:12 +0200 |
| commit | 386a4038dd9d2b1e6d76e897dd36d17f9121a025 (patch) | |
| tree | 90b5e24d04936c2331b3b6fe8b23fa24e50045f7 | |
| parent | 3687dc717948eec3953890e10986fd69b23d271e (diff) | |
| download | xtools-386a4038dd9d2b1e6d76e897dd36d17f9121a025.tar.gz xtools-386a4038dd9d2b1e6d76e897dd36d17f9121a025.tar.xz xtools-386a4038dd9d2b1e6d76e897dd36d17f9121a025.zip | |
xlint: don't warn on vbin with different permissions
Fixes #64.
| -rwxr-xr-x | xlint | 2 |
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 |