Searched refs:PRUNEDIRS (Results 1 – 2 of 2) sorted by relevance
56 : ${PRUNEDIRS:=".git"} # unwanted directories, in any parent92 if [ -n "$PRUNEDIRS" ]; then93 for dir in $PRUNEDIRS; do
16 #PRUNEDIRS=".git"