Meta/Dothem: use sparse

diff --git a/Dothem b/Dothem
index 8b424e8b893b1f524ee80a62f453f0b7138b281c..3a55a187250f7d5aa0436f9c33d904120968f202 100755 (executable)
--- a/Dothem
+++ b/Dothem
@@ -200,6 +200,8 @@ do
 
                save=$(git rev-parse HEAD) &&
 
+               Meta/Make $M $jobs -- SPARSE_FLAGS=-Wsparse-error sparse &&
+
                Meta/Make $M $noprove ${test+"$test"} $jobs $test_long $memtrash \
                    -- ${with_dash:+SHELL_PATH=/bin/dash} "$@" $dotest &&