diff --git a/configure b/configure index b7bc87dcb72..288674753b6 100755 --- a/configure +++ b/configure @@ -163,7 +163,9 @@ function version { bazel version > bazel.version +set +e curr_bazel_version=$(grep -m 1 'Build label:' bazel.version | cut -d ' ' -f3) +set -e rm -f bazel.version