0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-25 00:58:53 +01:00
mongodb/tools/bazel
Zack Winter 48c608b84b SERVER-89209 Create Developer Workstation Bazel Installation Script (#20994)
GitOrigin-RevId: f348c4f51b31b7f18092ffc891ba7b6610ef48f7
2024-04-11 00:54:28 +00:00

16 lines
652 B
Bash
Executable File

#!/usr/bin/env bash
# Whenever Bazel is invoked, it first calls this script setting "BAZEL_REAL" to the path of the real Bazel binary.
# Use this file as a wrapper for any logic that should run before bazel itself is executed.
if [[ -z "${BAZELISK_SKIP_WRAPPER}" ]]; then
echo "You're not using Bazelisk, which is recommended for a consistent build environment." >&2
echo "Your version of Bazel may be mismatched with the version intended to be used to build MongoDB." >&2
echo "Please run the following command to install Bazelisk:" >&2
echo "" >&2
echo "python buildscripts/install_bazel.py" >&2
exit 0
fi
$BAZEL_REAL "$@"