diff options
author | Junio C Hamano <gitster@pobox.com> | 2021-06-11 09:56:31 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-06-11 15:58:26 +0900 |
commit | 279e009d2c24c53833dd7b744dbffcf043a31369 (patch) | |
tree | 9d4fd6b4957c27eec2e4a3796f179c9be0ae2638 | |
parent | 94390190440bd1fd036dbf43c39a74da95b816cc (diff) |
Meta/cycle-run: use SANITIZE
-rwxr-xr-x | cycle-run | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -12,15 +12,18 @@ test_it () { echo "*** log for $subject ***" && case "$type" in C) + # Single parent commit on a topic Meta/Make -$J && Meta/Make -$J -- SPARSE_FLAGS=-Wsparse-error sparse ;; M) + # Merges on the first-parent chain on seen Meta/Make -$J -- SPARSE_FLAGS=-Wsparse-error sparse && Meta/Make -$J -- test ;; T) - Meta/Make -$J -- test && + # Commit at the tip of a topic + Meta/Make -$J SANITIZE=address,undefined -- test && Meta/Make -$J -- doc ;; esac |