From cc045015d91e76b493db741899e0c07ef12371b2 Mon Sep 17 00:00:00 2001
From: Ethan Roseman <ethteck@gmail.com>
Date: Tue, 21 Apr 2020 01:19:09 -0400
Subject: [PATCH] Updating Jenkinsfile

---
 Jenkinsfile | 2 --
 1 file changed, 2 deletions(-)

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'
             }
         }