summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorDaniel Walton <dwalton@cumulusnetworks.com>2017-05-08 15:28:07 +0200
committerDaniel Walton <dwalton@cumulusnetworks.com>2017-05-08 15:28:07 +0200
commit84be3a03be99bd051fbb1d5648b20c2617416e28 (patch)
treea467fb9f3e1ecbdf9953977b5068ceeaaaff8e1d /tools
parentAdd valgrind_enable option to /etc/frr/debian.conf (diff)
downloadfrr-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-xtools/frr2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/frr b/tools/frr
index 4902b8c9a..6b5600b16 100755
--- a/tools/frr
+++ b/tools/frr
@@ -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