100755 blob 8eccc144666f55e7bf60c013a22925c5794c5cde	generate_binaries.py
100755 blob cd5d4b38b379f67700f5b1ab7fd55be75924aa79	run_ctest.py
100755 blob c0ee8222d319e0c6eeaa57f5141615a999cb0a4f	run_platform.py