steinwurf/external-waf-tools — pull request #12 by jpihl (2013-08-08 10:20:55+00:00)
Title: Enable benchmarks on external devices

@mortenvp @petya2164 any comments?