#!/bin/sh
# Script used by configure to delete directories recursively.
for dir do
while rmdir "$dir" >/dev/null 2>&1 &&
parent=`expr "$dir" : '\(.*\)/[^/][^/]*'`; do
case "$parent" in
. | .. | "$dir") break;;
*) dir="$parent";;
esac
done
true