tree e90f6b407d9047d2fc2d641b0ae7d3817fa7b9a2
parent 97bea01ff4ad8ac5c6b6e43908c61c2af7f80620
author Gilles Peskine <Gilles.Peskine@arm.com> 1587846090 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1587846868 +0200

all.sh: make the arm-gcc cross-compiler prefix configurable

Make it possible to use a compiler that isn't in $PATH, or that's
installed with a different name, or even a compiler for a different
target such as arm-linux-gnueabi.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>