Jenkinsfile: do not delete package files
@@ -105,7 +105,6 @@ pipeline {
always {
sh '''
rm -rf k-distribution/k-tutorial/1_basic/build
- rm -rf kframework-${VERSION}
make --directory=k-distribution clean
make --directory=k-exercises clean
make --directory=haskell-backend/src/main/native/haskell-backend clean
