diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/gen-report | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/gen-report b/scripts/gen-report index 38e4a47..9b86174 100755 --- a/scripts/gen-report +++ b/scripts/gen-report @@ -13,6 +13,8 @@ shift $((OPTIND - 1)) for p in "$@"; do mkdir -p "reports/${p}" - timeout --foreground 30s valgrind -q --error-exitcode=1 \ + timeout --foreground 30s valgrind -q \ + --leak-check=full \ + --error-exitcode=1 \ "./${BUILD}/${p}" > "reports/${p}/log" done |