aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2016-04-27 11:17:47 +0100
committerMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2016-04-27 11:17:47 +0100
commit4c7fd6fda37e67016911fb183ec9480e07bae69e (patch)
tree136da2188bf1b7730222bc7b800f9bfcadb311ec
parent9ccc2446b115cb93126ebfb95a0d03e51fc1fe31 (diff)
jenkins.sh: Remove unused code, fix BZ #2204
$revision variable is not used anywhere in jenkins.sh Change-Id: If11fb5738bd6cee4b7a20b35fb63b0112a72797b
-rwxr-xr-xjenkins.sh4
1 files changed, 0 insertions, 4 deletions
diff --git a/jenkins.sh b/jenkins.sh
index 89bf123c..341d261d 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -401,10 +401,6 @@ manifest="`find ${user_workspace}/_build/builds/ -name destdir -prune -o -name \
if test x"${manifest}" != x; then
echo "node=${node}" >> ${manifest}
echo "requestor=${requestor}" >> ${manifest}
- revision="`grep 'gcc_revision=' ${manifest} | cut -d '=' -f 2 | tr -s ' '`"
- if test x"${revision}" != x; then
- revision="-${revision}"
- fi
if test x"${BUILD_USER_ID}" != x; then
echo "email=${BUILD_USER_ID}" >> ${manifest}
fi