tree a8dc1b0dbe0dc0fc1a7a72e04df5f4f8019950fa
parent ff0a3b3aa6d1c55f0beec9b59ff7284a97e50f6d
author David Horstmann <david.horstmann@arm.com> 1634743644 +0100
committer David Horstmann <david.horstmann@arm.com> 1635164164 +0100

Fix issue with DEV_MODE=OFF case

When DEV_MODE=OFF, link_to_source() was being called with
a full path in the build directory, rather than just a base
name starting at "suites/" as was intended. Fix this by
generating a list of base names and using that for
link_to_source(), then deriving full paths afterwards.

Signed-off-by: David Horstmann <david.horstmann@arm.com>