aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristophe Lyon <christophe.lyon@linaro.org>2016-04-27 12:22:32 +0000
committerLinaro Code Review <review@review.linaro.org>2016-04-27 12:22:32 +0000
commit9ab26dd72d238e331ee1b65dc3952767a2eb813d (patch)
tree1f649c80e401b9a7c969ff729a81debfb5837ff8
parentfd1f286e97d7fdc2c0f1f7d29ac3dc8a0df6c324 (diff)
parent4c7fd6fda37e67016911fb183ec9480e07bae69e (diff)
Merge "jenkins.sh: Remove unused code, fix BZ #2204"
-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