tree e620739969c97e0c48c17261cf1e6fd6132ff554
parent eb2a6ab518fdc039b4c5cf015e18646ca8b768ea
parent 4b660eca1efe0561bf4e5080382fcc1367cfe5d7
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1514282300 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1514282300 +0100

Merge branch 'development' into development-restricted

* development:
  all.sh: add some documentation
  all.sh: new option --no-armcc
  all.sh: add --yotta to go with --no-yotta
  all.sh: --keep-going mode
  all.sh: cleaned up usage output
  all.sh: indent