darwinop/webots-cross-compilation — pull request #6 by fabienrohrer (2012-01-10 10:28:57+00:00)
Title: Update to Webots 6.4.3

In Webots 6.4.3, the main Makefile allows to manage better the dependencies on external files.
The present modification allows to take the advantage of this improvement to manage better the dependency on the managers.a static library.