100755 blob 705bff8b99e095e783f1bdcc579d9a0cc6e0447f	generate_binaries.py
100755 blob c2ba6725049b37d76ff615ef80fac35728876282	run_ctest.py
100755 blob 0629fef9c24880bdd85c0b20cc054b65cac0321e	run_platform.py