commit d1c19fbd8e691806b77e516520c3a4f3d597a302
author Brian Silverman <brians> Thu Jul 07 00:10:57 2016 -0700
committer Brian Silverman <brians> Thu Jul 07 00:44:09 2016 -0700
tree 288d03bea0adff1f383e3bb9f9d073d053019c17
parent 0d8ed03f9805f64472185b12a4d22636a8458831

Upgrade to a new, fixed version of Bazel

Change-Id: I90f63a9cb40bcfde7552a79355dfbf9123bcd798

doc/make_bazel_package.sh

diff --git a/doc/make_bazel_package.sh b/doc/make_bazel_package.sh
index 1c10df0..a42acfa 100755
--- a/doc/make_bazel_package.sh
+++ b/doc/make_bazel_package.sh
@@ -10,12 +10,12 @@
 BAZEL_SOURCE="$1"
 
 VERSION="$(date +%Y%m%d%H%M)+$(GIT_DIR="${BAZEL_SOURCE}/.git" git rev-parse --short HEAD)"
-DEB="bazel_${VERSION}.deb"
+DEB="bazel_${VERSION}_amd64.deb"
 
 "${BAZEL_SOURCE}/compile.sh" compile
 (
 cd "${BAZEL_SOURCE}"
-./output/bazel build //scripts/packages:bazel-debian --embed_label="${VERSION}"
+./output/bazel build -c opt //scripts/packages:bazel-debian --embed_label="${VERSION}"
 )
 
 cp "${BAZEL_SOURCE}/bazel-bin/scripts/packages/bazel-debian.deb" "${DEB}"