Upgrade to a new Bazel version
This one has better performance and various new features. It also
prevents us from falling too far behind upstream.
Change-Id: I3b8e1c5bda886ea2e990523af9e6de2434c784be
diff --git a/doc/make_bazel_package.sh b/doc/make_bazel_package.sh
index a42acfa..ff79ce1 100755
--- a/doc/make_bazel_package.sh
+++ b/doc/make_bazel_package.sh
@@ -15,7 +15,7 @@
"${BAZEL_SOURCE}/compile.sh" compile
(
cd "${BAZEL_SOURCE}"
-./output/bazel build -c opt //scripts/packages:bazel-debian --embed_label="${VERSION}"
+./output/bazel build -c opt //scripts/packages:bazel-debian --embed_label="${VERSION}" --stamp=yes
)
cp "${BAZEL_SOURCE}/bazel-bin/scripts/packages/bazel-debian.deb" "${DEB}"