diff options
| author | David Woodhouse <David.Woodhouse@intel.com> | 2010-12-09 16:53:40 +0000 |
|---|---|---|
| committer | David Woodhouse <David.Woodhouse@intel.com> | 2010-12-11 12:23:47 +0000 |
| commit | 7f36d675a458b3cf823c977e2cc4b47a6e6c8d4a (patch) | |
| tree | b521ae16c1489fea1f94ad0c10cde559fb315785 /src/scripts | |
| parent | 13eb9497df3c4149ea8cc3d95410f3232d6337da (diff) | |
Add Valgrind hooks for memory pools
It's useful to tell Valgrind when memory is undefined because it's been
freed by store_reset(), and when it's not supposed to be accessed because
although it's been allocated for the store it hasn't actually been given
out by store_get() yet.
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/MakeLinks | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/scripts/MakeLinks b/src/scripts/MakeLinks index ad4137725..bb6dd494d 100755 --- a/src/scripts/MakeLinks +++ b/src/scripts/MakeLinks @@ -254,6 +254,8 @@ ln -s ../src/verify.c verify.c ln -s ../src/version.c version.c ln -s ../src/dkim.c dkim.c ln -s ../src/dkim.h dkim.h +ln -s ../src/valgrind.h valgrind.h +ln -s ../src/memcheck.h memcheck.h # WITH_CONTENT_SCAN ln -s ../src/spam.c spam.c |