jantje/arduino-eclipse-plugin — pull request #72 by wimjongman (2013-11-05 22:46:56+00:00)
Title: Fixed multi platform build

Please see https://github.com/wimjongman/arduino-eclipse-plugin/blob/master/readme.md#build-options