diff options
Diffstat (limited to 'ci/build.sh')
-rw-r--r-- | ci/build.sh | 14 |
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 |