Gilles Peskine bca6ab9d38 all.sh: new option --no-armcc
With this option, don't run anything that requires armcc or yotta, so
the script can run offline.
2017-12-21 15:21:31 +01:00
..
2017-12-21 15:21:31 +01:00
2017-12-14 19:02:00 +01:00