diff options
author | Sree Harsha Totakura <totakura@in.tum.de> | 2014-02-12 10:24:30 +0000 |
---|---|---|
committer | Sree Harsha Totakura <totakura@in.tum.de> | 2014-02-12 10:24:30 +0000 |
commit | a9b8018749f3e27cdf7dbbaf8d63b65fb4edea5c (patch) | |
tree | 57a0ee596d1c204b42591bf5ff7f2dd14cb1fe51 /src/testbed | |
parent | b222242689dc3b154736926e8c7c207adf7c71c6 (diff) |
- Add patch for valgrinding testbed
Diffstat (limited to 'src/testbed')
-rw-r--r-- | src/testbed/gnunet-helper-testbed-valgrind.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/testbed/gnunet-helper-testbed-valgrind.patch b/src/testbed/gnunet-helper-testbed-valgrind.patch new file mode 100644 index 0000000000..1777c30d0c --- /dev/null +++ b/src/testbed/gnunet-helper-testbed-valgrind.patch @@ -0,0 +1,21 @@ +Index: gnunet-helper-testbed.c +=================================================================== +--- gnunet-helper-testbed.c (revision 32320) ++++ gnunet-helper-testbed.c (working copy) +@@ -462,7 +462,15 @@ + testbed = + GNUNET_OS_start_process (PIPE_CONTROL, + GNUNET_OS_INHERIT_STD_ERR /*verbose? */ , NULL, +- NULL, binary, "gnunet-service-testbed", "-c", ++ NULL, "valgrind", ++ "valgrind", ++ "--leak-check=full", ++ "--show-reachable=yes", ++ "--suppressions=$HOME/gnunet/src/util/util.supp", ++ "--suppressions=$HOME/gnunet/src/testbed/misc.supp", ++ "--suppressions=$HOME/gnunet/src/testbed/valgrind-zlib.supp", ++ "--suppressions=$HOME/gnunet/src/testbed/x64_misc.supp", ++ binary, "-c", + config, NULL); + GNUNET_free (binary); + GNUNET_free (config); |