tree 19683fabd220111c920a3763ff39086a00e22a1f
parent 7fb54c567456f3501ed711bbb72d1d2de2d130da
author Gilles Peskine <Gilles.Peskine@arm.com> 1636723822 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1636723822 +0100

Fix dynamic library extension on macOS

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>