0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-22 04:59:34 +01:00
mongodb/evergreen/do_jepsen_setup/install_jepsen.sh
Mikhail Shchatko 205e03b611 SERVER-94211 Pin to v0.3.0-jepsen-mongodb-master (#26647)
GitOrigin-RevId: 2df43e45aed8bacd02a567d4af55ce4bbca22cb4
2024-08-30 20:14:50 +00:00

8 lines
160 B
Bash
Executable File

set -o errexit
cd src
git clone --branch=v0.3.0-jepsen-mongodb-master --depth=1 git@github.com:10gen/jepsen.git jepsen-mongodb
cd jepsen-mongodb
lein install