diff --git a/Jenkinsfile b/Jenkinsfile
index 16a42413ea..3eab4e35e2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -189,7 +189,7 @@ pipeline {
           }
           steps {
             phone_steps("tici-needs-can", [
-              ["build master-ci", "cd $SOURCE_DIR/release && TARGET_DIR=$TEST_DIR EXTRA_FILES='tools/' ./build_devel.sh"],
+              ["build master-ci", "cd $SOURCE_DIR/release && TARGET_DIR=$TEST_DIR ./build_devel.sh"],
               ["build openpilot", "cd selfdrive/manager && ./build.py"],
               ["check dirty", "release/check-dirty.sh"],
               ["onroad tests", "cd selfdrive/test/ && ./test_onroad.py"],
diff --git a/release/build_devel.sh b/release/build_devel.sh
index 668ac0de19..ca04c56f1e 100755
--- a/release/build_devel.sh
+++ b/release/build_devel.sh
@@ -44,9 +44,6 @@ git clean -xdff
 echo "[-] copying files T=$SECONDS"
 cd $SOURCE_DIR
 cp -pR --parents $(cat release/files_*) $TARGET_DIR/
-if [ ! -z "$EXTRA_FILES" ]; then
-  cp -pR --parents $EXTRA_FILES $TARGET_DIR/
-fi
 
 # in the directory
 cd $TARGET_DIR