From bd4fef12fc18d0366faf2e5d83002201840392c4 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Mon, 28 Oct 2013 11:42:48 +0000
Subject: [PATCH] Add the new builder to jenkins

---
 files/jenkins/master/config.xml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/files/jenkins/master/config.xml b/files/jenkins/master/config.xml
index 7bb4de8d52..2244e7222b 100644
--- a/files/jenkins/master/config.xml
+++ b/files/jenkins/master/config.xml
@@ -46,6 +46,22 @@ class="jenkins.model.ProjectNamingStrategy$DefaultProjectNamingStrategy"/>
       <label></label>
       <nodeProperties/>
     </slave>
+    <slave>
+      <name>Fedora19</name>
+      <description></description>
+      <remoteFS>/mnt/jenkins/</remoteFS>
+      <numExecutors>2</numExecutors>
+      <mode>NORMAL</mode>
+      <retentionStrategy class="hudson.slaves.RetentionStrategy$Always"/>
+      <launcher class="hudson.plugins.sshslaves.SSHLauncher"
+      plugin="ssh-slaves@0.21">
+        <host>172.16.5.12</host>
+        <port>22</port>
+        <credentialsId>d844d352-af1d-466b-9fc9-cbb19348103a</credentialsId>
+      </launcher>
+      <label></label>
+      <nodeProperties/>
+    </slave>
     <slave>
       <name>EL6</name>
       <description></description>