Meta/cycle-run: use SANITIZE

diff --git a/cycle-run b/cycle-run
index f2aa2ec636e15524952b08c24394e8e1006a1f1a..456f5be11f05b769f56c52659894508126b56b05 100755 (executable)
--- 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