summaryrefslogtreecommitdiff
path: root/jenkins.sh
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
commitcf5df3313f02d0c217ef87c0e58fea58cebb087b (patch)
treedd3823dd5ecd41b169f5c4ec6d72717611330d4c /jenkins.sh
parent3556f98db46e3de2ba28be7293aca0038af62c5d (diff)
jenkins.sh: Remove unused code, fix BZ #2204
$revision variable is not used anywhere in jenkins.sh Change-Id: If11fb5738bd6cee4b7a20b35fb63b0112a72797b
Diffstat (limited to 'jenkins.sh')
-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