From 9a5398f71becd84ed5fe6af83b0aa22684628948 Mon Sep 17 00:00:00 2001 From: Andres Amaya Garcia Date: Tue, 6 Sep 2016 17:15:54 +0100 Subject: [PATCH] Fix footprint.sh call to makefile (#600) 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 --- scripts/footprint.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/footprint.sh b/scripts/footprint.sh index 026e7a841..9d3c6294f 100755 --- a/scripts/footprint.sh +++ b/scripts/footprint.sh @@ -69,8 +69,9 @@ doit() scripts/config.pl --force set MBEDTLS_NO_PLATFORM_ENTROPY || true } >/dev/null 2>&1 + make clean >/dev/null CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld \ - CFLAGS="$ARMGCC_FLAGS" make clean lib >/dev/null + CFLAGS="$ARMGCC_FLAGS" make lib >/dev/null OUT="size-${NAME}.txt" arm-none-eabi-size -t library/libmbed*.a > "$OUT"