100755 blob 705bff8b99e095e783f1bdcc579d9a0cc6e0447f	generate_binaries.py
100755 blob 93a542703f812d758c7e244e4d3c5bd642fd81ab	run_ctest.py
100755 blob a39de8b13e371ca9266dc841c532a09078c84981	run_platform.py