René Kijewski 9879e4aaa7 buildtest: retry failed builds once ...

On Travis CI often builds fail spuriously.

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

2014-08-05 17:42:32 +02:00

..

compile_test.py

buildtest: retry failed builds once

2014-08-05 17:42:32 +02:00