diff options
Diffstat (limited to 'tools/ci/scripts/init.sh')
| -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 cff5a62e1..c715f3032 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 |