contiki-os/contiki — pull request #55 by cmorty (2012-12-11 11:37:49+00:00)
Title: Only build symbols for Sky if they are needed.

Currently the symbols are always built, even if thy are not needed.