diff options
Diffstat (limited to 'tool/rmdirs')
-rwxr-xr-x | tool/rmdirs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tool/rmdirs b/tool/rmdirs index 6dcf984df6..76c4a39cb1 100755 --- a/tool/rmdirs +++ b/tool/rmdirs @@ -1,4 +1,7 @@ #!/bin/sh + +# Script used by configure to delete directories recursively. + for dir do while rmdir "$dir" >/dev/null 2>&1 && parent=`expr "$dir" : '\(.*\)/[^/][^/]*'`; do |