mirror of
https://github.com/ARMmbed/mbedtls.git
synced 2025-06-09 07:59:40 +08: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