diff options
author | David Neto <dneto@google.com> | 2020-10-27 22:13:05 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-27 22:13:05 -0400 |
commit | 760076b7c8bf43d6c6cc4928f5129afca16e895e (patch) | |
tree | b333fedf1cd9b870c12c7c0a1a7ad1934f246560 | |
parent | 4c6d6d449b6cfc378ce1f0739f0c96fd5d4583be (diff) | |
download | amber-760076b7c8bf43d6c6cc4928f5129afca16e895e.tar.gz |
roll-all: Fix for GNU find (#919)
Use -mindepth 1 instead of -depth 1
Also, put global options before non-global options
-rwxr-xr-x | tools/roll-all | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/roll-all b/tools/roll-all index f9427e6..97f00c3 100755 --- a/tools/roll-all +++ b/tools/roll-all @@ -42,7 +42,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 |