Changelog for arduino-mk-1.5.2-7.1.noarch.rpm :
Tue Jul 10 14:00:00 2018 msuchanekAATTsuse.com
- Use system gcc by default.

Mon Feb 27 13:00:00 2017 msuchanekAATTsuse.com
- Arduino-Makefile 1.5.2

* avoid bogus host includes by using -nostdinc