-
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..)
Code changed in jenkins
User: Johannes Ohlemacher
Path:
src/main/java/org/jenkinsci/plugins/valgrind/ValgrindBuilder.java
src/main/resources/org/jenkinsci/plugins/valgrind/ValgrindBuilder/config.jelly
http://jenkins-ci.org/commit/valgrind-plugin/e149fe706a84ea1677803888df4824c11b2be7b5
Log:
JENKINS-14200: configure path to valgrind executable for each jobseparately (optionally, if not configured default valgrind from path
will be used)