def get_tc_file_contents(tc):
    """ get the contents of the toolchain file of a toolchain """
    tc_file_path = tc.toolchain_file
    with open(tc_file_path, "r") as fp:
        contents = fp.read()
    return contents