Skip to content

Commit 8580556

Browse files
author
mergerepo
committed
Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)
2 parents db678a3 + b13e39f commit 8580556

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

testsuite/valgrind_wrapper.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,4 +4,4 @@
44
# and all the needed arguments from the testsuite.
55

66
dir_path=$(dirname $0)
7-
valgrind --quiet --tool=memcheck --leak-check=full --suppressions=$dir_path/leaks.supp $dir_path/../.obj/server/ada_language_server $@
7+
valgrind --quiet --tool=memcheck --leak-check=full --suppressions=$dir_path/leaks.supp ada_language_server $@

0 commit comments

Comments
 (0)