From b21b4fcd97ac4b3852ca85c3398b3a4fe2e86c14 Mon Sep 17 00:00:00 2001 From: Kosyrev Serge Date: Fri, 8 Jul 2022 02:44:32 +0300 Subject: [PATCH] workbench: small fix --- nix/workbench/analyse.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nix/workbench/analyse.sh b/nix/workbench/analyse.sh index 8593ce13801..d4d34a9f362 100644 --- 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 )