Markus KARG commented on New Feature JENKINS-16934

I am not clear about what exactly you like me to discuss on the mailing list, as the outcome is rather obvious. So I need to ask a dumb question before starting the thread:

  • As every Maven-JaCoCo-user (either Jenkins user or not) must define JaCoCo excludes in the POM (otherwise the Maven-JaCoCo-plugin will not know about these when running Maven outside of Jenkins – which is the most typical usage of Maven even amongst Maven-Jenkins users, otherwise they would be simple Jenkins-only users), every such POM will contain any needed excludes.
  • It makes only little (let's frankly say: not any) sense to have different excludes in the POM and in Jenkins. If a build fails on Jenkins but passes locally due to different excludes, what shall that be any good for?
  • Nobody likes to do the same things twice or has fun to manually synchronize config changes. This is why we all love the tight integration of Maven with Jenkins.
  • If you think that it is best to make this switchable, it makes sense to follow your idea of having a checkbox (with "default = use POM", see above why). If you doubt about that, why proposing it then?

So what actually do you like to get discussed? Whether POM-checking makes sense at all (this is already proven as I definitively need it and you seem to have at least understood the idea why it is needed), or whether the checkbox must exist (which was your idea not mine) or whether the default should be "use POM" (which is rather obvious thinking about the pure amount of Maven users amongst the Jenkins users)? See, it makes no sense to start a discussion without knowing what kind of result it shall produce in the end.

Regards
-Markus

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.
 
 

Reply via email to