diff options
-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 |