Commit c4c9de6a272e5111920b63865d4405e33afb5bcf

Vicent Martí 2012-05-23T15:03:07

Merge pull request #712 from waywardmonkeys/embedded_makefile_fixes Embedded makefile fixes