From b63b28e24cb27f4b9d541459e3f3d0617ccccdf0 Mon Sep 17 00:00:00 2001
From: Marvin Zhang <tikazyq@gmail.com>
Date: Sat, 10 Aug 2019 12:53:46 +0800
Subject: [PATCH] updated Jenkinsfile

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b8721223..1af2aa80 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -54,7 +54,7 @@ pipeline {
                 sh """
                 # remove unused containers
                 container_ids=`docker ps -a | grep Exited | awk '{ print \$1 }' | xargs`
-                if [ \$container_ids -eq "" ];
+                if [ \\$container_ids -eq "" ];
                 then
                     :
                 else
@@ -63,7 +63,7 @@ pipeline {
 
                 # remove unused images
                 image_ids=`docker images | grep '<none>' | grep -v IMAGE | awk '{ print \$3 }' | xargs`
-                if [ \$image_ids -eq "" ];
+                if [ \\$image_ids -eq "" ];
                 then
                     :
                 else