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 |
+ |