diff --git a/Jenkinsfile b/Jenkinsfile
index a0e36fd423..924aefda9b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,8 +6,6 @@ pipeline {
             steps {
                 echo 'Setting up...'
                 sh 'cp /usr/local/etc/roms/baserom_oot.z64 baserom_original.z64'
-                sh 'cp -r /usr/local/etc/ido/ido7.1_compiler tools/ido7.1_compiler'
-                sh 'chmod +x -R tools/ido*'
                 sh 'make -j`nproc` setup'
             }
         }