From f830824f436b4e1a4846355794c380ff70798d67 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Thu, 14 Nov 2019 10:55:03 +0100
Subject: [PATCH]  JENKINS_HOME is meaningless in jenkins slaves

---
 debian/orig-tar.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/orig-tar.sh b/debian/orig-tar.sh
index e8759ea6..795ccdd2 100755
--- a/debian/orig-tar.sh
+++ b/debian/orig-tar.sh
@@ -28,8 +28,8 @@ EXPORT_PATH=$(pwd)
 
 if test -n "${JENKINS_HOME}"; then
     # For apt.llvm.org, reuse the same repo
-    echo "Built from Jenkins. Will export the repo in ${JENKINS_HOME}"
-    EXPORT_PATH=${JENKINS_HOME}
+    echo "Built from Jenkins. Will export the repo in $HOME/"
+    EXPORT_PATH="$HOME/"
 fi
 
 GIT_BASE_URL=https://github.com/llvm/llvm-project