tree 15a20fd3c1da3a1a46872f8dea06116c02bb0739
parent 2a22a8041c4ec02774269a0944c4af1739f7984e
author Gilles Peskine <Gilles.Peskine@arm.com> 1513704271 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513866091 +0100

all.sh: new option --no-armcc

With this option, don't run anything that requires armcc or yotta, so
the script can run offline.