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 (closed)
Backport: release

Warnings:

• Eligible for the 3.18.x branch.

The warnings do not need to be fixed, but it is recommended to do so.

Do: test

added 1 commit

• f6969b91 - set_property: Deduplicate source file directory scopes

Compare with previous version

Warnings:

• Eligible for the 3.18.x branch.

The warnings do not need to be fixed, but it is recommended to do so.

Do: test

assigned to @craig.scott

changed milestone to %3.18.0

added workflow:in-review label

Do: stage

changed the description

Warnings:

• Eligible for the 3.18.x branch.

The warnings do not need to be fixed, but it is recommended to do so.

added workflow:nightly-testing label and removed workflow:in-review label

Do: merge

removed workflow:nightly-testing label

mentioned in commit a3359990

mentioned in commit 53866896

merged