diff options
| -rwxr-xr-x | tools/ci/scripts/init.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index f427be910..58d072dfe 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -13,7 +13,7 @@ function do_init { } function update_repos { - if [ "$RUNFROMSHELL" != "" ]; + if [ "$CI_RUNNER_ID" == "" ]; then echo "Running from shell. Skipping update repos" return @@ -29,7 +29,7 @@ function update_repos { } function aptget_update { - if [ "$RUNFROMSHELL" != "" ]; + if [ "$CI_RUNNER_ID" == "" ]; then echo "Running from shell. Skipping apt-get update" return @@ -59,7 +59,7 @@ function aptget_update { } function aptget_install { - if [ "$RUNFROMSHELL" != "" ]; + if [ "$CI_RUNNER_ID" == "" ]; then echo "Running from shell. Skipping apt-get" return |