mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-02-04 15:39:53 +00:00
9a5398f71b
Ideally, Makefile targets should be called irrespectively of their execution order. In this sense, `clean` and `lib` should not be passed both as target command line arguments in the same make invocation. This is because out-of-order execution could cause a failure. This change ensures that `clean` and `lib` are called in separate executions of make in scripts/footprint.sh