-
Bug
-
Resolution: Fixed
-
Minor
-
None
We have a specific version of valgrind that we want to run, but the plugin defaults to 'valgrind'.
NOTE: I realize that I could set the path of the jenkins user to just pick
up the right one, but I'd rather configure everything within jenkins.
(I couldn't find the config if it is there..)