tools: copy run-valgrind.py to tools/ · nodejs/node@011ee0b · GitHub
Skip to content

Commit 011ee0b

Browse files
bnoordhuisMylesBorins
authored andcommitted
tools: copy run-valgrind.py to tools/
It was a symbolic link to deps/v8/tools/run-valgrind.py before. We are going to make changes to it and we don't want to carry the patch forward so make a copy. PR-URL: #9520 Reviewed By: Sakthipriyan Vairamani <thechargingvolcano@gmail.com> Reviewed-By: Anna Henningsen <anna@addaleax.net> Reviewed-By: Michael Dawson <michael_dawson@ca.ibm.com>
1 parent aca0ede commit 011ee0b

1 file changed

Lines changed: 102 additions & 1 deletion

File tree

tools/run-valgrind.py

Lines changed: 0 additions & 1 deletion
This file was deleted.

tools/run-valgrind.py

Lines changed: 102 additions & 0 deletions

0 commit comments

Comments
 (0)