Update generate_jenkins_devel