Skip to content
Snippets Groups Projects
Commit 5fcdb73e authored by Nikolai Kosjar's avatar Nikolai Kosjar Committed by hjk
Browse files

Valgrind: Do not ignore/overwrite tool options 


...otherwise all the options the user has set are in vain.

Change-Id: I6f344aafa848e3216a8ebf98e6fdddac26af4749
Reviewed-by: default avatarhjk <hjk121@nokiamail.com>
parent fc86c43f
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment