Searched refs:rev_file (Results 1 – 3 of 3) sorted by relevance
76 def get_commit_id_from_file(rev_file): argument77 with open(rev_file, 'r') as rev_stream:113 elif args.rev_file is not None:115 commit_id = get_commit_id_from_file(args.rev_file)
71 --rev_file $SPIRV_TOOLS_UUID \
66 --rev_file %SPIRV_TOOLS_UUID% ^