diff options
Diffstat (limited to 'tool')
-rwxr-xr-x | tool/rmdirs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tool/rmdirs b/tool/rmdirs index a91ef134ec..7eb6cae11b 100755 --- a/tool/rmdirs +++ b/tool/rmdirs @@ -1,5 +1,5 @@ #!/bin/sh -for dir in $$*; do +for dir in "$$@"; do while rmdir "$dir" >/dev/null 2>&1 && parent=`expr "$dir" : '\(.*\)/[^/][^/]*'`; do case "$parent" in |