Changelog for arduino-mk-1.5.2-lp150.7.1.noarch.rpm :

* Tue Jul 10 2018 msuchanekAATTsuse.com- Use system gcc by default.
* Mon Feb 27 2017 msuchanekAATTsuse.com- Arduino-Makefile 1.5.2
* avoid bogus host includes by using -nostdinc