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 | 4c7fd6fda37e67016911fb183ec9480e07bae69e (patch) | |
tree | 136da2188bf1b7730222bc7b800f9bfcadb311ec | |
parent | 9ccc2446b115cb93126ebfb95a0d03e51fc1fe31 (diff) |
jenkins.sh: Remove unused code, fix BZ #2204
$revision variable is not used anywhere in jenkins.sh
Change-Id: If11fb5738bd6cee4b7a20b35fb63b0112a72797b
-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 |