From 0e8e0fdc912b63e2d8412b775700531eb4e03af9 Mon Sep 17 00:00:00 2001
From: Mike Aizatsky <aizatsky@google.com>
Date: Wed, 20 Jul 2016 17:25:23 -0700
Subject: [PATCH] [infra] docker-cleanup definition

---
 infra/docker-cleanup/Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/infra/docker-cleanup/Jenkinsfile b/infra/docker-cleanup/Jenkinsfile
index aaa505007..c7faf4ffb 100644
--- a/infra/docker-cleanup/Jenkinsfile
+++ b/infra/docker-cleanup/Jenkinsfile
@@ -16,12 +16,12 @@
 
 // Jenkins build script for periodic docker images cleanup.
 
-stage "Cleanup Processes", concurrency: 1
+stage 'Cleanup Processes', concurrency: 1
 node {
   sh "docker rm \$(docker ps -a -q) || true"
 }
 
-stage "Cleanup Images", concurrency: 1
+stage 'Cleanup Images', concurrency: 1
 node {
   sh "docker rmi \$(docker images -q -f dangling=true) || true"
 }