diff options
Diffstat (limited to 'src/testbed/gnunet-helper-testbed-valgrind.patch')
-rw-r--r-- | src/testbed/gnunet-helper-testbed-valgrind.patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/testbed/gnunet-helper-testbed-valgrind.patch b/src/testbed/gnunet-helper-testbed-valgrind.patch deleted file mode 100644 index 1777c30d0..000000000 --- a/src/testbed/gnunet-helper-testbed-valgrind.patch +++ /dev/null | |||
@@ -1,21 +0,0 @@ | |||
1 | Index: gnunet-helper-testbed.c | ||
2 | =================================================================== | ||
3 | --- gnunet-helper-testbed.c (revision 32320) | ||
4 | +++ gnunet-helper-testbed.c (working copy) | ||
5 | @@ -462,7 +462,15 @@ | ||
6 | testbed = | ||
7 | GNUNET_OS_start_process (PIPE_CONTROL, | ||
8 | GNUNET_OS_INHERIT_STD_ERR /*verbose? */ , NULL, | ||
9 | - NULL, binary, "gnunet-service-testbed", "-c", | ||
10 | + NULL, "valgrind", | ||
11 | + "valgrind", | ||
12 | + "--leak-check=full", | ||
13 | + "--show-reachable=yes", | ||
14 | + "--suppressions=$HOME/gnunet/src/util/util.supp", | ||
15 | + "--suppressions=$HOME/gnunet/src/testbed/misc.supp", | ||
16 | + "--suppressions=$HOME/gnunet/src/testbed/valgrind-zlib.supp", | ||
17 | + "--suppressions=$HOME/gnunet/src/testbed/x64_misc.supp", | ||
18 | + binary, "-c", | ||
19 | config, NULL); | ||
20 | GNUNET_free (binary); | ||
21 | GNUNET_free (config); | ||