diff --git a/doc/ci/examples/php.md b/doc/ci/examples/php.md index 175e9d79904e19d08f89c10babd9d0d515f1e1d0..82ffb84172977193bf85d06e51de8d0131e7b48b 100644 --- a/doc/ci/examples/php.md +++ b/doc/ci/examples/php.md @@ -40,7 +40,7 @@ repository with the following content: #!/bin/bash # We need to install dependencies only for Docker -[[ ! -e /.dockerenv ]] && [[ ! -e /.dockerinit ]] && exit 0 +[[ ! -e /.dockerenv ]] && exit 0 set -xe