diff --git a/Dothem b/Dothem
index 14988d4859..f102c2569d 100755
--- a/Dothem
+++ b/Dothem
@@ -44,6 +44,9 @@ sh -c 'asciidoc --version >/dev/null 2>&1' || nodoc=y
 GIT_TEST_CHAIN_LINT=1
 export GIT_TEST_CHAIN_LINT
 
+GIT_PROVE_OPTS="${GIT_PROVE_OPTS:+$GIT_PROVE_OPTS }--state=slow,save"
+export GIT_PROVE_OPTS
+
 test -f /bin/dash || with_dash=
 if test -z "$BUILDBASE"
 then