Skip to content
This repository has been archived by the owner on May 21, 2024. It is now read-only.

Give better names to shared libraries #1564

Merged
merged 1 commit into from
Feb 19, 2020
Merged

Give better names to shared libraries #1564

merged 1 commit into from
Feb 19, 2020

Commits on Feb 18, 2020

  1. Give better names to shared libraries 

    Use set_target_properties so that we don't confuse the name of library
and executable targets.

Signed-off-by: Laurent Bonnans <laurent.bonnans@here.com>
    @lbonn
    lbonn committed Feb 18, 2020
    Configuration menu
    Copy the full SHA
    35fe41a View commit details
    Browse the repository at this point in the history