From f83453f9c9540a24a1e9e30d97acfd3403ecbf5e Mon Sep 17 00:00:00 2001 From: Junio C Hamano Date: Mon, 2 Nov 2020 17:59:14 -0800 Subject: [PATCH] Meta/Dothem: use sparse --- Dothem | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Dothem b/Dothem 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 && -- 2.47.3