diff options
author | Stef Walter <stefw@gnome.org> | 2013-05-15 11:51:22 +0200 |
---|---|---|
committer | Stef Walter <stefw@gnome.org> | 2013-05-15 11:51:22 +0200 |
commit | de8b99e2f04f94313a7748adedf7535603013951 (patch) | |
tree | 2e9ce2fc6cc7cf1dfc86fd7af731b12f252cae59 /automaint.sh | |
parent | 4bd7eda265b94dfcb9a1db4aba756e1e05dd4f87 (diff) | |
download | p11-kit-de8b99e2f04f94313a7748adedf7535603013951.tar.gz |
Implement valgrind's hellgrind checks for threading problems
And cleanup our locks/locking model. There's no need to use
recursive locks, especially since we can't use them on all
platforms. In addition adjust taking of locks during initialization
so that there's no chance of deadlocking here.
Diffstat (limited to 'automaint.sh')
-rwxr-xr-x | automaint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/automaint.sh b/automaint.sh index 975556d..96cb60c 100755 --- a/automaint.sh +++ b/automaint.sh @@ -41,7 +41,7 @@ done echo ' done' done - for target in distcheck memcheck leakcheck install upload-coverage \ + for target in distcheck memcheck leakcheck hellcheck install upload-coverage \ coverage upload-doc upload-release transifex; do echo "$target:" echo ' $(MAKE) -C ./local' $target |