tree 21c4b24ddb4018d1e4f1e945dcb174416e76f52e
parent 55d5353b3a4d947e331d291dffa8e274cca3d627
author Gilles Peskine <Gilles.Peskine@arm.com> 1583835785 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1584982532 +0100

Fix the shared library build with CMake

Fix an error in the earlier merge.