mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-02-22 09:40:09 +00:00
Clean up old files before generating them
Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>
This commit is contained in:
parent
532327b429
commit
87db8a2676
@ -651,6 +651,9 @@ pre_check_tools () {
|
|||||||
}
|
}
|
||||||
|
|
||||||
pre_generate_files() {
|
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
|
make generated_files
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user