chiark / gitweb /
set -e to make it easier to kill this
[bin.git] / validate-tree
old mode 100644 (file)
new mode 100755 (executable)
index d8c5766..d6022be
@@ -4,4 +4,4 @@ set -e
 [ "$1" ] && cd $1
 set +e
 
-find -type d -perm -0755 | sort | xargs -n 1 validate-directory
+find -type d -perm -0755 | fgrep -v .svn | sort | xargs -n 1 validate-directory