luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

debug: run with cachegrind script update

Browse source
This commit is contained in:
Allan Jeremy 2022-06-16 14:58:35 +03:00
parent ef452d2c92
commit 851a8e8939
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/run-with-cachegrind.sh
View file

@ -31,7 +31,7 @@ REST_ARGS="${ARGS[@]:4}"
valgrind \ valgrind \
--quiet \ --quiet \
--tool=cachegrind \ --tool=cachegrind \
"$1" "$2" "$REST_ARGS">/dev/null "$1" "$2" $REST_ARGS>/dev/null
ARGS=( "$@" ) ARGS=( "$@" )
REST_ARGS="${ARGS[@]:4}" REST_ARGS="${ARGS[@]:4}"