add --redup

2026-10-05 20:51:27 +01:00 · 2026-09-16 22:33:38 +00:00
parent 971a62cc89
commit fd4f434192
8 changed files with 278 additions and 20 deletions
@@ -70,6 +70,9 @@ done
 [ "$1" ] || {
    python3 ../scripts/test/smoketest.py &
    pids+=($!)
+
+    bash ../scripts/test/redup.sh &
+    pids+=($!)
 }

 for pid in ${pids[@]}; do