c05f8a18b7
This commit is a workaround for jenkins issue https://issues.jenkins-ci.org/browse/JENKINS-13637 This issue was uncovered when attempting to build the jenkins gearman-plugin using maven3. Change-Id: I5fdb20756f4ebca45b8e6eb2f114d561e1cca944 Reviewed-on: https://review.openstack.org/23022 Reviewed-by: Clark Boylan <clark.boylan@gmail.com> Approved: James E. Blair <corvus@inaugust.com> Reviewed-by: James E. Blair <corvus@inaugust.com> Tested-by: Jenkins
35 lines
961 B
XML
35 lines
961 B
XML
<settings>
|
|
<pluginGroups>
|
|
<pluginGroup>org.jenkins-ci.tools</pluginGroup>
|
|
</pluginGroups>
|
|
|
|
<profiles>
|
|
<!-- Give access to Jenkins plugins -->
|
|
<profile>
|
|
<id>jenkins</id>
|
|
<activation>
|
|
<activeByDefault>true</activeByDefault> <!-- change this to false, if you don't like to have it on per default -->
|
|
</activation>
|
|
<repositories>
|
|
<repository>
|
|
<id>repo.jenkins-ci.org</id>
|
|
<url>http://repo.jenkins-ci.org/public/</url>
|
|
</repository>
|
|
</repositories>
|
|
<pluginRepositories>
|
|
<pluginRepository>
|
|
<id>repo.jenkins-ci.org</id>
|
|
<url>http://repo.jenkins-ci.org/public/</url>
|
|
</pluginRepository>
|
|
</pluginRepositories>
|
|
</profile>
|
|
</profiles>
|
|
<mirrors>
|
|
<mirror>
|
|
<id>repo.jenkins-ci.org</id>
|
|
<url>http://repo.jenkins-ci.org/public/</url>
|
|
<mirrorOf>m.g.o-public</mirrorOf>
|
|
</mirror>
|
|
</mirrors>
|
|
</settings>
|