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)
commit5acb79328874511990423fe75f3d6422ec3b0234
tree5a050e35846de032904d9428a0b841d1aaf93ac8
parent708531cf0541295f50d81b0bfa3441e757a00348
parent490eeb04e63e271941a6075dfef48c80b251e6bc
Merge pull request #1550 from danielboulby-arm/db/weakdefs

Prevent two weak definitions of the same function