diff options
Diffstat (limited to 'ci/build.sh~')
| -rw-r--r-- | ci/build.sh~ | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/ci/build.sh~ b/ci/build.sh~ deleted file mode 100644 index da27b0d44..000000000 --- a/ci/build.sh~ +++ /dev/null @@ -1,13 +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 - bash -e $s 2>&1 | tee $CIRCLE_ARTIFACTS/${s}.log - else - bash -e $s - fi -done |