Skip to content
  • alcroito's avatar
    set_property: Deduplicate source file directory scopes · f6969b91
    alcroito authored
    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
    f6969b91