diff options
author | Pierre Grandin <grandinp@gmail.com> | 2018-05-01 18:24:11 -0700 |
---|---|---|
committer | Pierre Grandin <grandinp@gmail.com> | 2018-05-01 18:24:11 -0700 |
commit | b4937c594bb58741af919bf01ed1815b68851974 (patch) | |
tree | f83b29f12add2bb99d50e5d7530927fbb3656bde | |
parent | 24fc7cf03af08f140eec67001f279d68d8ff37a3 (diff) | |
download | navit-ci_v1_cleanup.tar.gz |
Update:CI:Removed deprecated build.sh (ci v1)ci_v1_cleanup
-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 |