diff --git a/Jenkinsfile b/Jenkinsfile
index 49be03b3..05815e70 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -77,6 +77,9 @@ pipeline {
 				}
 			}
 			post {
+				always {
+					sh 'rm -f ${WORKSPACE}/tmp-sh-build'
+				}
 				failure {
 					npmGithubPrComment("CI Error:\n\n```\n${shOutput}\n```", true)
 				}