Merge pull request #1759 from vwadekar/armlink-support
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Fri, 8 Feb 2019 13:48:47 +0000 (13:48 +0000)
committerGitHub <noreply@github.com>
Fri, 8 Feb 2019 13:48:47 +0000 (13:48 +0000)
Armlink support


Trivial merge