RIOT-OS/RIOT — pull request #1546 by Kijewski (2014-08-05 15:44:10+00:00)
Title: buildtest: retry failed builds once

On Travis CI often builds fail spuriously.

This PR lets `make buildtest` retry the build once.