100755 blob f206cf86fcba4d164c2652cff5fb91f138b31385	generate_binaries.py
100755 blob 10d389c33cfb45176edf6bbc647c8ec16def162a	run_ctest.py
100755 blob 06008285687aae37a92227fa214510329698f4cc	run_platform.py