fix(build): avoid removing untracked git changes by `make clean`

Use `make deep-clean` for deep cleaning
This commit is contained in:
Ivan Belyakov 2023-11-02 18:20:35 +01:00 committed by IvanBelyakoff
parent 054356fed2
commit cb3a88f93a
4 changed files with 6 additions and 4 deletions

View File

@ -347,9 +347,11 @@ ci-race: lint canary-test test-unit test-e2e-race ##@tests Run all linters and t
clean: ##@other Cleanup
rm -fr build/bin/* mailserver-config.json
git-clean:
git clean -xf
deep-clean: clean
deep-clean: clean git-clean
rm -Rdf .ethereumtest/StatusChain
tidy:

View File

@ -68,6 +68,6 @@ pipeline {
post {
success { script { github.notifyPR(true) } }
failure { script { github.notifyPR(false) } }
cleanup { sh 'make clean' }
cleanup { sh 'make deep-clean' }
} // post
} // pipeline

View File

@ -73,6 +73,6 @@ pipeline {
post {
success { script { github.notifyPR(true) } }
failure { script { github.notifyPR(false) } }
cleanup { sh 'make clean' }
cleanup { sh 'make deep-clean' }
} // post
} // pipeline

View File

@ -75,6 +75,6 @@ pipeline {
post {
success { script { github.notifyPR(true) } }
failure { script { github.notifyPR(false) } }
cleanup { sh 'make clean' }
cleanup { sh 'make deep-clean' }
} // post
} // pipeline