diff --git a/Jenkinsfile b/Jenkinsfile index 3c836114..00f7c188 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,6 +13,8 @@ pipeline { prepareBuild() sh ''' echo "Setting up the environment" + echo "Jenkins may have left over files from previous builds" + git clean -df ''' } }