diff options
author | Daniel Walton <dwalton@cumulusnetworks.com> | 2017-05-08 15:28:07 +0200 |
---|---|---|
committer | Daniel Walton <dwalton@cumulusnetworks.com> | 2017-05-08 15:28:07 +0200 |
commit | 84be3a03be99bd051fbb1d5648b20c2617416e28 (patch) | |
tree | a467fb9f3e1ecbdf9953977b5068ceeaaaff8e1d /tools | |
parent | Add valgrind_enable option to /etc/frr/debian.conf (diff) | |
download | frr-84be3a03be99bd051fbb1d5648b20c2617416e28.tar.xz frr-84be3a03be99bd051fbb1d5648b20c2617416e28.zip |
Added config option for valgrind executable
Signed-off-by: Daniel Walton <dwalton@cumulusnetworks.com>
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/frr | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -154,7 +154,7 @@ start() ${SSD} \ --start \ --pidfile=`pidfile $1` \ - --exec "/usr/bin/valgrind" \ + --exec $valgrind \ -- --trace-children=no --leak-check=full --log-file=/var/log/frr/$1-valgrind.log $D_PATH/$1 \ `eval echo "$""$1""_options"` else |