Hey, along with Fabio Neves, I developed a plugin called JDK Parameter Choice. The plugin lets you add a build parameter which allows the JDK that will be used to be chosen on a per build basis. The JDKs that can be chosen from can be specified on the configuration page of any job that has the JDK parameter enabled.
The plugin was originally designed to solve the issue of letting a user without configure permissions choose separate JDKs per build of a job in a simple way. I've made a wiki page for it here: https://wiki.jenkins-ci.org/display/JENKINS/JDK+Parameter+Plugin and the github repo for it is here: https://github.com/Sargemck/JDK_Parameter_Choice . I'd appreciate it if someone could approve this and put it on jenkinsci. Please let me know if you see any issues or potential improvements that could be made to the plugin. Thanks in advance, Baris Batiege (Datalex) -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
