tree 2cc9d3706cd55178337032f19b2d4255512806a8
parent bf8a30ce0d0e8f2b45a954fcf396220050f9172d
author Milan Ševčík <majlen@civ.zcu.cz> 1486726195 +0100
committer Milan Ševčík <majlen@civ.zcu.cz> 1488275829 +0100

Improve handling of library symlinks.

Previous method was failing to remove the symlinks when make clean was
invoked and wasn't portable.