commit | f83453f9c9540a24a1e9e30d97acfd3403ecbf5e | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Mon Nov 02 17:59:14 2020 -0800 |
committer | Junio C Hamano <gitster@pobox.com> | Mon Nov 02 17:59:14 2020 -0800 |
tree | f7518331c31f397c4e0a11408978f6505b43a79a | |
parent | a729dda74fd376e6c9a3d09902ac1c9d438f5aba [diff] |
Meta/Dothem: use sparse
diff --git a/Dothem b/Dothem index 8b424e8..3a55a18 100755 --- a/Dothem +++ b/Dothem
@@ -200,6 +200,8 @@ 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 &&