100755 blob 8eccc144666f55e7bf60c013a22925c5794c5cde	generate_binaries.py
100755 blob 10d389c33cfb45176edf6bbc647c8ec16def162a	run_ctest.py
100755 blob 93ba7cd41fc3c4272092083d05e9024237a8b5ef	run_platform.py