Download bazel

Change-Id: I41b3b1bdf0f2070e7425f7b25cb5ed182c252eae
diff --git a/jjb/onos/onos-bazel-release-build.sh b/jjb/onos/onos-bazel-release-build.sh
index 8d488b8..9c02f03 100644
--- a/jjb/onos/onos-bazel-release-build.sh
+++ b/jjb/onos/onos-bazel-release-build.sh
@@ -1,12 +1,16 @@
-#!/bin/bash -e
+#!/bin/bash -ex
 
 # exit on errors
 set -eu -o pipefail
 
-# set up ONOS build environment
 ONOS_ROOT=`pwd`
 . tools/build/envDefaults
 
+curl -L -o bazel.sh https://github.com/bazelbuild/bazel/releases/download/0.15.2/bazel-0.15.2-installer-linux-x86_64.sh
+chmod +x bazel.sh 
+./bazel.sh --user
+PATH=$PATH:/home/jenkins/bin
+
 # import GPG key
 gpg --import jenkins.key