diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2015-08-03 20:27:46 +0200 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2015-08-03 20:27:46 +0200 |
| commit | b5e16cebda52b25f651b97c9b9da830ee7e46138 (patch) | |
| tree | 6560068aa8fdc51aa72754d1e5e3b11c5253adab /run-tests.php | |
| parent | 34596a3dddb407fc36af7cdf9da55253210da5e1 (diff) | |
| download | php-git-b5e16cebda52b25f651b97c9b9da830ee7e46138.tar.gz | |
Fix a few valgrind errors in phpdbg
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run-tests.php b/run-tests.php index ba44ce5464..ae39fe4c71 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1878,7 +1878,7 @@ TEST $file if (version_compare($valgrind_version, '3.3.0', '>=')) { /* valgrind 3.3.0+ doesn't have --log-file-exactly option */ - $cmd = "valgrind -q --tool=memcheck --trace-children=yes --log-file=$memcheck_filename $cmd"; + $cmd = "valgrind -q --tool=memcheck --trace-children=yes --show-leak-kinds=definite,indirect --log-file=$memcheck_filename $cmd"; } else { $cmd = "valgrind -q --tool=memcheck --trace-children=yes --log-file-exactly=$memcheck_filename $cmd"; } @@ -1933,7 +1933,7 @@ COMMAND $cmd $passed = false; if ($leak_check) { // leak check - $leaked = filesize($memcheck_filename) > 0; + $leaked = filesize($memcheck_filename) > 367; if (!$leaked) { @unlink($memcheck_filename); |