diff --git a/ips/hudson.xml b/ips/jenkins.xml similarity index 100% rename from ips/hudson.xml rename to ips/jenkins.xml