From 5a8104fd74d4b6d08ce01d1ea6b17f073f155cea Mon Sep 17 00:00:00 2001
From: Simon Christ <SimonChrist@gmx.de>
Date: Sun, 8 Dec 2019 13:16:28 +0100
Subject: [PATCH] Create travis_docker_test_script.sh

---
 travis_docker_test_script.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 travis_docker_test_script.sh

diff --git a/travis_docker_test_script.sh b/travis_docker_test_script.sh
new file mode 100644
index 00000000..acde9b24
--- /dev/null
+++ b/travis_docker_test_script.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+JULIAVER=$1                     # the first and only argument to the script is the version
+JULIABIN=/test/julia-$JULIAVER/bin/julia
+
+## install the image (when necessary)
+/test/install-julia.sh $JULIAVER
+
+cd /mnt && if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
+
+# run tests
+$JULIABIN -e "import Pkg; Pkg.build(); Pkg.test(; coverage=true)"