They are running fast but linking takes relatively long. At least it feels that
way, I haven't done any measurements.
Just a thought: maybe its possible to link all of them in parallel instead of
one after the other.
Your team Widelands Developers is subscribed to branch
Mailing list: https://launchpad.net/~widelands-dev
Post to : firstname.lastname@example.org
Unsubscribe : https://launchpad.net/~widelands-dev
More help : https://help.launchpad.net/ListHelp