From 851a8e8939c5bb3279bfae9d2e06670978131a2c Mon Sep 17 00:00:00 2001 From: Allan Jeremy Date: Thu, 16 Jun 2022 14:58:35 +0300 Subject: [PATCH] debug: run with cachegrind script update --- scripts/run-with-cachegrind.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/run-with-cachegrind.sh b/scripts/run-with-cachegrind.sh index c0dfb7bd..787043ff 100644 --- a/scripts/run-with-cachegrind.sh +++ b/scripts/run-with-cachegrind.sh @@ -31,7 +31,7 @@ REST_ARGS="${ARGS[@]:4}" valgrind \ --quiet \ --tool=cachegrind \ - "$1" "$2" "$REST_ARGS">/dev/null + "$1" "$2" $REST_ARGS>/dev/null ARGS=( "$@" ) REST_ARGS="${ARGS[@]:4}"