mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 09:32:32 +01:00
11 lines
296 B
Bash
11 lines
296 B
Bash
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)"
|
|
. "$DIR/prelude.sh"
|
|
|
|
cd src/jepsen-mongodb
|
|
|
|
set -o verbose
|
|
# Jepsen system failure if file exists.
|
|
if [ -f jepsen_system_failure_${task_name}_${execution} ]; then
|
|
exit $(cat jepsen_system_failure_${task_name}_${execution})
|
|
fi
|