diff options
author | Mikhail Shchatko <mikhail.shchatko@mongodb.com> | 2021-03-25 10:37:15 +0300 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-03-30 08:17:59 +0000 |
commit | 601b210ff6ad13973d4f6d67815a10f8e3a9bea9 (patch) | |
tree | 4786299927455dbf393b9d9dfaa29ff86ec22f83 /evergreen/do_jepsen_setup | |
parent | 2737e53b543da043ae617fd1497ed8e85520508d (diff) | |
download | mongo-601b210ff6ad13973d4f6d67815a10f8e3a9bea9.tar.gz |
SERVER-55299 Preliminary pass at shell code in evergreen.yml
Diffstat (limited to 'evergreen/do_jepsen_setup')
-rwxr-xr-x | evergreen/do_jepsen_setup/build_libfaketime.sh | 14 | ||||
-rwxr-xr-x | evergreen/do_jepsen_setup/install_jepsen.sh | 10 | ||||
-rwxr-xr-x | evergreen/do_jepsen_setup/move_binaries.sh | 5 |
3 files changed, 29 insertions, 0 deletions
diff --git a/evergreen/do_jepsen_setup/build_libfaketime.sh b/evergreen/do_jepsen_setup/build_libfaketime.sh new file mode 100755 index 00000000000..fdba0af2f4d --- /dev/null +++ b/evergreen/do_jepsen_setup/build_libfaketime.sh @@ -0,0 +1,14 @@ +set -o errexit + +cd src +# Build libfaketime. A version of libfaketime at least as new as v0.9.6-9-g75896bd is +# required to use the FAKETIME_NO_CACHE and FAKETIME_TIMESTAMP_FILE environment variables. +# Additionally, a version of libfaketime containing the changes mentioned in SERVER-29336 +# is required to avoid needing to use libfaketimeMT.so.1 and serializing all calls to +# fake_clock_gettime() with a mutex. +git clone --branch=for-jepsen --depth=1 git@github.com:10gen/libfaketime.git +cd libfaketime +branch=$(git symbolic-ref --short HEAD) +commit=$(git show -s --pretty=format:"%h - %an, %ar: %s") +echo "Git branch: $branch, commit: $commit" +make PREFIX=$(pwd)/build/ LIBDIRNAME='.' install diff --git a/evergreen/do_jepsen_setup/install_jepsen.sh b/evergreen/do_jepsen_setup/install_jepsen.sh new file mode 100755 index 00000000000..7af559692e4 --- /dev/null +++ b/evergreen/do_jepsen_setup/install_jepsen.sh @@ -0,0 +1,10 @@ +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 diff --git a/evergreen/do_jepsen_setup/move_binaries.sh b/evergreen/do_jepsen_setup/move_binaries.sh new file mode 100755 index 00000000000..29bf3380790 --- /dev/null +++ b/evergreen/do_jepsen_setup/move_binaries.sh @@ -0,0 +1,5 @@ +set -o errexit + +cd src +# Move binaries to CWD as Jepsen expects that. +mv dist-test/bin/* . |