From a1c928e70cd995426449ac6ec6df3b5a492580e5 Mon Sep 17 00:00:00 2001
From: Nikolai Aleksandrovich Pavlov <kp-pav@yandex.ru>
Date: Fri, 31 Mar 2017 15:32:58 +0300
Subject: ci: Do not hide ci directory (#6410)

---
 ci/script.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 ci/script.sh

(limited to 'ci/script.sh')

diff --git a/ci/script.sh b/ci/script.sh
new file mode 100755
index 0000000000..79a1bec201
--- /dev/null
+++ b/ci/script.sh
@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+
+set -e
+set -o pipefail
+
+if [[ -n "${CI_TARGET}" ]]; then
+  make "${CI_TARGET}"
+  exit 0
+fi
+
+# This will pass the environment variables down to a bash process which runs
+# as $USER, while retaining the environment variables defined and belonging
+# to secondary groups given above in usermod.
+if [[ "${TRAVIS_OS_NAME}" == osx ]]; then
+  sudo -E su "${USER}" -c "ci/run_tests.sh"
+else
+  ci/run_tests.sh
+fi
-- 
cgit