diff options
author | Mike Chelen <michael.chelen@gmail.com> | 2016-01-27 05:10:03 +0300 |
---|---|---|
committer | Mike Chelen <michael.chelen@gmail.com> | 2016-01-27 05:10:03 +0300 |
commit | e32eb5715141101a95e97c4f51a2f96976822c9a (patch) | |
tree | cefe73cca9888eee40811508c4554847671332c4 /doc | |
parent | 84427dc6d5cd708834316888f611ce5c5347f9bc (diff) |
explicitly call script with bash for consistency
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ci/languages/php.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ci/languages/php.md b/doc/ci/languages/php.md index 77f9fae5bb6..aeadd6a448e 100644 --- a/doc/ci/languages/php.md +++ b/doc/ci/languages/php.md @@ -97,7 +97,7 @@ image: php:5.6 before_script: # Install dependencies -- ci/docker_install.sh > /dev/null +- bash ci/docker_install.sh > /dev/null test:app: script: @@ -112,7 +112,7 @@ with a different docker image version and the runner will do the rest: ```yaml before_script: # Install dependencies -- ci/docker_install.sh > /dev/null +- bash ci/docker_install.sh > /dev/null # We test PHP5.6 test:5.6: |