Remove tmp after successful test run

Directory tmp must be empty at that time.

diff --git a/test/test_all b/test/test_all
index a30174b897062e6218cf5ac0c351724db26fdd10..19b8323630b0f12b734eb233419f1ada3b89bb84 100755 (executable)
--- a/test/test_all
+++ b/test/test_all
@@ -20,4 +20,8 @@ for f in input/*.txt; do
    fi
 done
 
+if [ "$RC" -eq 0 ]; then
+   rmdir tmp
+fi
+
 exit $RC