diff options
| author | Petr Mladek <pmladek@suse.cz> | 2011-06-22 16:53:02 +0200 |
|---|---|---|
| committer | Petr Mladek <pmladek@suse.cz> | 2011-06-22 16:53:02 +0200 |
| commit | 3f344d378e0f962fd82f2cf673b9bc75c224cdb7 (patch) | |
| tree | 0644bffeaa02f8328be1132767052f21997be10c /desktop/util | |
| parent | 519d31df8cc383bd7241722435141010dac4962c (diff) | |
use --trace-children-skip=*/java with valgrind >= 3.6
thanks Caolan for hint
Diffstat (limited to 'desktop/util')
0 files changed, 0 insertions, 0 deletions