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 58d072dfe..cff5a62e1 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -13,7 +13,7 @@ function do_init { } function update_repos { - if [ "$CI_RUNNER_ID" == "" ]; + if [ "$CI_RUNNER_ID" != "" ]; then echo "Running from shell. Skipping update repos" return @@ -29,7 +29,7 @@ function update_repos { } function aptget_update { - if [ "$CI_RUNNER_ID" == "" ]; + 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 [ "$CI_RUNNER_ID" == "" ]; + if [ "$CI_RUNNER_ID" != "" ]; then echo "Running from shell. Skipping apt-get" return |