diff options
author | Magnus Ahltorp <map@kth.se> | 2016-02-12 17:39:50 +0100 |
---|---|---|
committer | Linus Nordberg <linus@nordu.net> | 2016-04-25 13:14:11 +0200 |
commit | eff1f10a090a29ab67f417856b1caa5c27ed86e1 (patch) | |
tree | 17994ef6f8cd4027d40da79f0c599b46ba7c72fd /src/util.erl | |
parent | 5f0d8bf56ba700fb97f526b27100c7f1cb51ad4b (diff) |
Make valgrind exit with error code
Diffstat (limited to 'src/util.erl')
0 files changed, 0 insertions, 0 deletions