diff --git a/Jenkinsfile.ok b/Jenkinsfile.ok.scripted
similarity index 100%
rename from Jenkinsfile.ok
rename to Jenkinsfile.ok.scripted