Merge pull request #4685 from mpg/improve-all-sh-robustness

all.sh: Clean up old files before generating them
This commit is contained in:
Manuel Pégourié-Gonnard 2021-06-22 11:14:49 +02:00 committed by GitHub
commit 32750ef5c2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -651,6 +651,9 @@ pre_check_tools () {
}
pre_generate_files() {
# since make doesn't have proper dependencies, remove any possibly outdate
# file that might be around before generating fresh ones
make neat
make generated_files
}