| commit | 273ac90383485bedddf21f12e351ece29ae6d0c8 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Dec 19 18:24:31 2017 +0100 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Wed Dec 20 15:32:01 2017 +0100 |
| tree | 282fac244427941e0a23c06554369c1005f84947 | |
| parent | ded50da458c7392e22c66db8949543da594d6c0b [diff] |
all.sh: new option --no-armcc With this option, don't run anything that requires armcc, so the script can run offline.