Alexandru Croitor f6969b917d set_property: Deduplicate source file directory scopes ...

A user could specify the same directory scope to set_property()
multiple times, which in conjunction with APPEND would append the
property multiple times.

Make sure to deduplicate scopes across both DIRECTORY and
TARGET_DIRECTORY options, so that a property is only appended
once in such a scenario.

Fixes: #20941

2020-07-13 17:43:17 +02:00

25 KiB

Raw Blame History

View Raw