Lines Matching defs:rev_file
137 rev_file = open(revisions_dir + "/gem5", "w+")
141 rev_file)
142 rev_file.close()
150 rev_file = open(revisions_dir + "/linux", "w+")
154 rev_file)
155 rev_file.close()
186 rev_file = open(revisions_dir + "/linux-arm64-legacy", "w+")
190 rev_file)
191 rev_file.close()
213 rev_file = open(revisions_dir + "/linux-arm-legacy", "w+")
217 rev_file)
218 rev_file.close()