diff --git a/Jenkinsfile b/Jenkinsfile
index 3a434ab1f0..0dfaabdae2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -216,6 +216,7 @@ pipeline {
 									dir('libs') {
 										stash "equinox.binaries.${PLATFORM}"
 									}
+									cleanWs() // workspace not cleaned by default
 								}
 								dir("libs/${PLATFORM}") {
 									unstash "equinox.binaries.${PLATFORM}"