• Andres Amaya Garcia's avatar
    Fix footprint.sh call to makefile (#600) · 9a5398f7
    Andres Amaya Garcia authored
    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
    9a5398f7