1 files changed, 11 insertions, 0 deletions
diff --git a/tool/rmdirs b/tool/rmdirs
new file mode 100755
index 0000000000..b116898fac
--- /dev/null
+++ b/tool/rmdirs
@@ -0,0 +1,11 @@
+#!/bin/sh
+for dir; do
+    while rmdir "$dir" >/dev/null 2>&1 &&
+          parent=`expr "$dir" : '\(.*\)/[^/][^/]*'`; do
+        case "$parent" in
+        . | .. | "$dir") break;;
+        *) dir="$parent";;
+        esac
+    done
+done
+true