Try using prove when available

diff --git a/Dothem b/Dothem
index 418ec050ce836b55c3a0af06a82b4195aeb292d9..3ee886385a0cf8247e1afc9e8c60af6b9eb57921 100755 (executable)
--- a/Dothem
+++ b/Dothem
@@ -38,7 +38,23 @@ do
        shift
 done
 
+for TRASH in /dev/shm /tmp ""
+do
+       if test -n "$TRASH" && test -d "$TRASH" && test -w "$TRASH"
+       then
+               TRASH="--root=$TRASH/testpen"
+               break
+       fi
+done
+
 sh -c 'asciidoc --version >/dev/null 2>&1' || nodoc=y
+if sh -c 'prove --version >/dev/null 2>&1'
+then
+       DEFAULT_TEST_TARGET=prove GIT_PROVE_OPTS="$jobs"
+       export DEFAULT_TEST_TARGET GIT_PROVE_OPTS
+fi
+GIT_TEST_OPTS="$TRASH${GIT_TEST_OPTS+" $GIT_TEST_OPTS"}"
+export GIT_TEST_OPTS
 
 test -f /bin/dash || with_dash=
 if test -z "$BUILDBASE"