From e2b76e47b394c790dc38f17430e14080f34ca870 Mon Sep 17 00:00:00 2001
From: BrokenFire <seb6596@gmail.com>
Date: Sun, 18 Feb 2018 19:58:15 +0100
Subject: [PATCH] Add full clean on Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 1e7a40c..5fe270d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,10 +16,10 @@ node {
          * Second, the 'latest' tag.
          * Pushing multiple tags is cheap, as all the layers are reused. */
         app.push()
-        app.push("${env.BUILD_NUMBER}")  
+        app.push("${env.BUILD_NUMBER}")
         
     }
     stage('Cleaning'){
-        sh "docker image prune -f"
+        sh "docker image prune -f -a"
     }
 }