chiark / gitweb /
add signkey
[bin.git] / validate-tree
index d8c5766ea7c22929faaddbc4159d3b165002a602..d6022bec8fd18c822c41ff3c4a3beaf5ca78b231 100755 (executable)
@@ -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