tree 4f951bbf03a4b054dc7910146904ad6cf0437184
parent c15574b8f5ed17ab9adca8fdcaa777215a4dcc9b
author Gilles Peskine <Gilles.Peskine@arm.com> 1588263572 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1588282263 +0200

Rename --arm-gcc-prefix to --arm-none-eabi-gcc-prefix

This is supposed to be for GCC (or a compiler with a compatible
command line interface) targeting arm-none-eabi, so name it
accordingly.

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