diff --git a/Jenkinsfile b/Jenkinsfile
index bd19faaaa5f..5a43da8c595 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -229,6 +229,7 @@ pipeline {
 									dir('libs') {
 										stash "swt.binaries.${PLATFORM}"
 									}
+									cleanWs() // workspace not cleaned by default
 								}
 							}
 						}