mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 09:32:32 +01:00
11 lines
295 B
Bash
11 lines
295 B
Bash
|
set -o errexit
|
||
|
|
|
||
|
|
cd src
|
||
|
|
git clone --branch=jepsen-mongodb-master --depth=1 git@github.com:10gen/jepsen.git jepsen-mongodb
|
||
|
|
cd jepsen-mongodb
|
||
|
|
branch=$(git symbolic-ref --short HEAD)
|
||
|
|
commit=$(git show -s --pretty=format:"%h - %an, %ar: %s")
|
||
|
|
echo "Git branch: $branch, commit: $commit"
|
||
|
|
|
||
|
|
lein install
|