tree 9433c3150c50f68df04716891c771ae8e02c533b
parent bb7a582865c0408bd90d7dd11af6b8859d35874f
parent 9a52cf3d972cb19e95a26ab965e4d1c4b99bfdb7
author Jaeden Amero <jaeden.amero@arm.com> 1558598921 +0100
committer Jaeden Amero <jaeden.amero@arm.com> 1558598921 +0100

Merge remote-tracking branch 'origin/pr/2647' into development

* origin/pr/2647:
  list-symbols.sh: if the build fails, print the build transcript
  Document "check-names.sh -v"
  all.sh: invoke check-names.sh in print-trace-on-exit mode
  Print a command trace if the check-names.sh exits unexpectedly