From 979f00d43da2476e5110c3098cca67a0c8fbcea8 Mon Sep 17 00:00:00 2001
From: Pau Espin Pedrol <pespin@sysmocom.de>
Date: Mon, 17 Feb 2020 17:56:47 +0100
Subject: [PATCH] contrib: srslte: Allow changing repo name

Change-Id: I06e6566ac3df9369b391bc88f288f72588088ef1
---
 contrib/jenkins-build-srslte.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/contrib/jenkins-build-srslte.sh b/contrib/jenkins-build-srslte.sh
index 29a6ffcf..dd75e867 100755
--- a/contrib/jenkins-build-srslte.sh
+++ b/contrib/jenkins-build-srslte.sh
@@ -4,9 +4,10 @@ set -e -x
 base="$PWD"
 name="srslte"
 git_url="${git_url:-https://github.com/srsLTE}"
+project_name="${project_name:-srsLTE}"
 . "$(dirname "$0")/jenkins-build-common.sh"
 
 #TODO: make sure libconfig, zeroMQ is installed
-build_repo srsLTE
+build_repo $project_name
 
 create_bin_tgz "srsue srsenb srsepc"