diff options
author | Junio C Hamano <gitster@pobox.com> | 2020-11-03 01:59:14 (GMT) |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-11-03 01:59:14 (GMT) |
commit | f83453f9c9540a24a1e9e30d97acfd3403ecbf5e (patch) | |
tree | f7518331c31f397c4e0a11408978f6505b43a79a | |
parent | a729dda74fd376e6c9a3d09902ac1c9d438f5aba (diff) | |
download | git-f83453f9c9540a24a1e9e30d97acfd3403ecbf5e.zip git-f83453f9c9540a24a1e9e30d97acfd3403ecbf5e.tar.gz git-f83453f9c9540a24a1e9e30d97acfd3403ecbf5e.tar.bz2 |
Meta/Dothem: use sparse
-rwxr-xr-x | Dothem | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 && |