You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#! /bin/bash
|
|
set -e
|
|
|
|
echo `pwd`
|
|
|
|
BRANCH=`git rev-parse --abbrev-ref HEAD`
|
|
echo "Current branch: $BRANCH"
|
|
|
|
# go test --race github.com/tendermint/tendermint/...
|
|
make test_race
|
|
|
|
# run the app tests
|
|
bash test/app/test.sh
|
|
|
|
if [[ "$BRANCH" == "master" || $(echo "$BRANCH" | grep "release-") != "" ]]; then
|
|
echo ""
|
|
echo "* branch $BRANCH; testing libs"
|
|
# checkout every github.com/tendermint dir and run its tests
|
|
bash test/test_libs.sh
|
|
fi
|