tree 282fac244427941e0a23c06554369c1005f84947
parent ded50da458c7392e22c66db8949543da594d6c0b
author Gilles Peskine <Gilles.Peskine@arm.com> 1513704271 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513780321 +0100

all.sh: new option --no-armcc

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