remove empty directories when cleaning

diff --git a/bin/tests/system/cleanall.sh b/bin/tests/system/cleanall.sh
index a5fef69e20980f58dad04c9dc456147d8da3700a..7d25964abd711e46a14548bf96d8806e36bb6c7f 100644 (file)
--- a/bin/tests/system/cleanall.sh
+++ b/bin/tests/system/cleanall.sh
@@ -35,4 +35,5 @@ status=0
 for d in $SUBDIRS
 do
    test ! -f $d/clean.sh || ( cd $d && sh clean.sh )
+   find $d -type d -exec rmdir '{}' \; 2> /dev/null
 done