tree 40e148bbe5d1e18c724f0acbb59efa4e8b6a19de
parent a8bf9867d4be5b9107179a19b20f3e6ceff2790b
author Gilles Peskine <Gilles.Peskine@arm.com> 1513704271 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513774301 +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.