ros/catkin — pull request #546 by dirk-thomas (2013-10-25 23:38:07+00:00)
Title: fix order of catkin_LIBRARIES

Instead of not adding duplicate library names at the end the libraries should always be appended to maintain correct order (especially valid when using static libraries). Before appending them existing duplicates are being removed from the list.

As long as we have no circular dependencies between libraries this should work fine. Since packages already forbid such a dependency cycle that should never be the case.

@tfoote @wjwwood Please review.