summaryrefslogtreecommitdiff
path: root/ci/build.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ci/build.sh')
-rw-r--r--ci/build.sh14
1 files changed, 0 insertions, 14 deletions
diff --git a/ci/build.sh b/ci/build.sh
deleted file mode 100644
index 536ab7781..000000000
--- a/ci/build.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-set -e
-
-echo "$# build script (s) to run"
-
-for i in $(seq 1 $#); do
- eval s=\$$i
- echo "Starting build script #$i : $s"
- if [ ! -z $CIRCLE_ARTIFACTS ]; then
- set -o pipefail
- bash -e $s 2>&1 | tee $CIRCLE_ARTIFACTS/${i}.log
- else
- bash -e $s
- fi
-done