Skip to content

Commit

Permalink
plugins/valgrind.py: delete empty log files in results
Browse files Browse the repository at this point in the history
  • Loading branch information
kdudka committed Jan 7, 2021
1 parent 75d846d commit 8ea4876
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions py/plugins/valgrind.py
Original file line number Diff line number Diff line change
Expand Up @@ -87,4 +87,10 @@ def create_cap_dir_hook(results, mock):
# pick the captured files when %check is complete
props.copy_out_files += [VALGRIND_CAPTURE_DIR]

# delete empty log files
def cleanup_hook(results):
return results.exec_cmd(["find", results.dbgdir_raw + VALGRIND_CAPTURE_DIR,
"-name", "pid-*.log", "-empty", "-delete"])
props.post_process_hooks += [cleanup_hook]

# TODO: add filter_hook to transform XML files into csdiff format

0 comments on commit 8ea4876

Please sign in to comment.