Meta/Dothem: use sparse
Junio C Hamano committed
Nov 2, 2020 at 17:59 UTC
f83453f9c9540a24a1e9e30d97acfd3403ecbf5e
1 file changed
+2
Dothem
+2
index 8b424e8b89..3a55a18725 100755
--- 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 &&