Commit 9a5398f7 authored by Andres Amaya Garcia's avatar Andres Amaya Garcia Committed by Simon Butcher

Fix 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/
parent 3ac07678
......@@ -69,8 +69,9 @@ doit()
scripts/ --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
arm-none-eabi-size -t library/libmbed*.a > "$OUT"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment