100755 blob 705bff8b99e095e783f1bdcc579d9a0cc6e0447f	generate_binaries.py
100755 blob c72d0f72c44cdd0a3ed6fcb16fd04edc7dd4e2f3	run_ctest.py
100755 blob a39de8b13e371ca9266dc841c532a09078c84981	run_platform.py