workbench: small fix

IntersectMBO · Jul 7, 2022 · b21b4fc · b21b4fc
1 parent eb51ced
commit b21b4fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nix/workbench/analyse.sh b/nix/workbench/analyse.sh
@@ -59,7 +59,7 @@ local op=${1:-standard}; if test $# != 0; then shift; fi
 case "$op" in
     # 'read-mach-views' "${logs[@]/#/--log }"
     multi-run-pattern | multi-pattern | multipat | mp )
-        analyse ${sargs[*]} multi-run-full $(run list-pattern $1)
+        analyse ${sargs[*]} multi-run $(run list-pattern $1)
         ;;
 
     multi-run | multi )