From 5fb047c9637ab6806b026beb9b7ed2432a2ce453 Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Mon, 7 Aug 2023 19:14:45 -0700
Subject: [PATCH] jenkins: rm tools copy in release tests (#29273)

* jenkins: rm tools copy in release tests

* rm that too
old-commit-hash: 7f02cb9fafb05e77dcbd2b11f41ecb8244f641fe
---
 Jenkinsfile            | 2 +-
 release/build_devel.sh | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)

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