aboutsummaryrefslogtreecommitdiff
path: root/src/testbed/gnunet-helper-testbed-valgrind.patch
diff options
context:
space:
mode:
Diffstat (limited to 'src/testbed/gnunet-helper-testbed-valgrind.patch')
-rw-r--r--src/testbed/gnunet-helper-testbed-valgrind.patch21
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 @@
1Index: 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);