| Index: .travis/docker-run.sh |
| diff --git a/.travis/docker-run.sh b/.travis/docker-run.sh |
| new file mode 100644 |
| index 0000000000000000000000000000000000000000..bf09e39e8d89eac68656ad7b0b798261a9d871b0 |
| --- /dev/null |
| +++ b/.travis/docker-run.sh |
| @@ -0,0 +1,13 @@ |
| +#!/usr/bin/env bash |
| + |
| +set -x |
| +set -e |
| + |
| +pushd ${TRAVIS_BUILD_DIR} |
| + |
| +bash .travis/travis-install.sh |
| +bash .travis/travis-before_script.sh |
| +bash .travis/travis-script.sh |
| + |
| +popd |
| + |