diff --git a/tools/roll-all b/tools/roll-all index 1e329abf9a..36868fa74b 100755 --- a/tools/roll-all +++ b/tools/roll-all @@ -36,7 +36,7 @@ fi old_head=$(git rev-parse HEAD) -for i in $(find third_party -type d -maxdepth 1 -depth 1); do +for i in $(find third_party -maxdepth 1 -mindepth 1 -type d); do name=`echo "${i%%/}" | cut -f2 -d'/' | tr '-' '_'` if [ "x${name}" == "xcpplint" ]; then