diff --git a/Jenkinsfile b/Jenkinsfile index c303b21..6e7b885 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -22,8 +22,17 @@ pipeline { } stage('Build Environment') { steps { + sh """ + if [ -z "$(docker ps -q)" ]; then + echo "Docker is not running" + else + echo "Docker is running" + fi + docker stop $(docker ps -a -q) + docker rm $(docker ps -a -q) + """ script { - + docker.build("${DOCKER_IDENTITY}", '-f docker/Dockerfile-jenkins-php .') docker.build("${DOCKER_IDENTITY_NGINX}", '-f docker/Dockerfile-nginx .') }