diff --git a/misc/jenkins/compile_other_versions/run.job b/misc/jenkins/compile_other_versions/run.bat
similarity index 100%
rename from misc/jenkins/compile_other_versions/run.job
rename to misc/jenkins/compile_other_versions/run.bat