diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2016-04-27 11:17:47 +0100 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2016-04-27 11:17:47 +0100 |
commit | cf5df3313f02d0c217ef87c0e58fea58cebb087b (patch) | |
tree | dd3823dd5ecd41b169f5c4ec6d72717611330d4c /jenkins.sh | |
parent | 3556f98db46e3de2ba28be7293aca0038af62c5d (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-x | jenkins.sh | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -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 |