[JIRA] (JENKINS-17386) Gradle.properties ignored after 1.22 upgrade
Title: Message Title Bart Bialek edited a comment on JENKINS-17386 Re: Gradle.properties ignored after 1.22 upgrade bq. Richard, I have version 1.24 installed... where is this option exposed? I can't find it. I see it now under each Job's Gradle options: "Force GRADLE_USER_HOME to use workspace". Is there a way to make this global for all Jobs? Add Comment This message was sent by Atlassian JIRA (v7.1.7#71011-sha1:2526d7c) -- You received this message because you are subscribed to the Google Groups "Jenkins Issues" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[JIRA] (JENKINS-17386) Gradle.properties ignored after 1.22 upgrade
Title: Message Title Bart Bialek commented on JENKINS-17386 Re: Gradle.properties ignored after 1.22 upgrade Richard, I have version 1.24 installed... where is this option exposed? I can't find it. Add Comment This message was sent by Atlassian JIRA (v7.1.7#71011-sha1:2526d7c) -- You received this message because you are subscribed to the Google Groups "Jenkins Issues" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[JIRA] (JENKINS-17386) Gradle.properties ignored after 1.22 upgrade
Pete Wagner commented on JENKINS-17386 Gradle.properties ignored after 1.22 upgrade Reverting to 1.21 was our choice; builds fixed. This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira -- You received this message because you are subscribed to the Google Groups Jenkins Issues group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.