tree 8978de3d792e36b5dfdfaf51205d887db12921dc
parent 5b0d839f7b35bff47d6024b02312acc6a17c89b3
parent b13e3f9f98d08b8583db64d62acd947e727a1a4d
author Mark Dykes <mardyk01@review.trustedfirmware.org> 1599764420 +0000
committer TrustedFirmware Code Review <review@review.trustedfirmware.org> 1599764420 +0000

Merge "tools: Set the tool's default binary name" into integration