mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-28 16:24:56 +01:00
22 lines
607 B
Bash
Executable File
22 lines
607 B
Bash
Executable File
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)"
|
|
. "$DIR/prelude.sh"
|
|
|
|
cd src
|
|
|
|
set -o errexit
|
|
set -o verbose
|
|
|
|
activate_venv
|
|
export MYPY="$(
|
|
if which cygpath 2>/dev/null; then
|
|
PATH+=":$(cypath "${workdir}")/venv_3/Scripts"
|
|
else
|
|
PATH+=":${workdir}/venv_3/bin"
|
|
fi
|
|
PATH+=':/opt/mongodbtoolchain/v3/bin'
|
|
which mypy
|
|
)"
|
|
echo "Found mypy executable at '$MYPY'"
|
|
export extra_flags=""
|
|
eval ${compile_env} python3 ./buildscripts/scons.py ${compile_flags} $extra_flags --stack-size=1024 GITDIFFFLAGS="${revision}" REVISION="${revision}" ENTERPRISE_REV="${enterprise_rev}" ${targets}
|