On Wed, Jul 22, 2020 at 6:49 AM David Redondo <k...@david-redondo.de> wrote: > > I fixed the build now. There was a symlink to a removed file which > cmake -E copy_directory didn't like.
Thanks for the quick response on this. > > Regards, > David > > Regards, Ben
