Merge pull request #1550 from danielboulby-arm/db/weakdefs
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 31 Aug 2018 12:18:18 +0000 (13:18 +0100)
committerGitHub <noreply@github.com>
Fri, 31 Aug 2018 12:18:18 +0000 (13:18 +0100)
Prevent two weak definitions of the same function


Trivial merge