From 92eb202d5d2327fa6c9a039435171a69d882a210 Mon Sep 17 00:00:00 2001
From: krzys-h <krzys_h@interia.pl>
Date: Sun, 21 May 2017 20:38:11 +0200
Subject: [PATCH] Jenkinsfile: Automatically clean workspace after building
 pull requests

---
 Jenkinsfile | 6 ++++++
 data        | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7b93de4a..8676dbe1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -54,4 +54,10 @@ node('master') {
         }
         step([$class: 'XUnitBuilder', testTimeMargin: '3000', thresholdMode: 1, thresholds: [[$class: 'FailedThreshold', failureNewThreshold: '', failureThreshold: '', unstableNewThreshold: '', unstableThreshold: '0'], [$class: 'SkippedThreshold', failureNewThreshold: '', failureThreshold: '', unstableNewThreshold: '', unstableThreshold: '']], tools: [[$class: 'GoogleTestType', deleteOutputFiles: true, failIfNotNew: true, pattern: 'build/linux/gtestresults.xml', skipNoTestFiles: false, stopProcessingIfError: true]]])
     }
+
+    // Clean workspace after building pull requests
+    // to save disk space on the Jenkins host
+    if (env.BRANCH_NAME.startsWith('PR-')) {
+        cleanWs()
+    }
 }
diff --git a/data b/data
index b325c533..4df6d989 160000
--- a/data
+++ b/data
@@ -1 +1 @@
-Subproject commit b325c53316b0b4ac7fe69597bff69499bee0ef6a
+Subproject commit 4df6d989881d6b00944fbcbe6141f6426dc04e40