tree c2f78236d145a99976b91543c495f796492caa0a
parent 3ac076784c6ec90df618e6d7751ed83d71a4e0e3
author Andres Amaya Garcia <andama01@arm.com> 1473178554 +0100
committer Simon Butcher <simon.butcher@arm.com> 1473178554 +0100

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