summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2021-06-11 09:56:31 +0900
committerJunio C Hamano <gitster@pobox.com>2021-06-11 15:58:26 +0900
commit279e009d2c24c53833dd7b744dbffcf043a31369 (patch)
tree9d4fd6b4957c27eec2e4a3796f179c9be0ae2638
parent94390190440bd1fd036dbf43c39a74da95b816cc (diff)
Meta/cycle-run: use SANITIZE
-rwxr-xr-xcycle-run5
1 files changed, 4 insertions, 1 deletions
diff --git a/cycle-run b/cycle-run
index f2aa2ec636..456f5be11f 100755
--- a/cycle-run
+++ b/cycle-run
@@ -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