Searched refs:elf_or_uuid (Results 1 – 3 of 3) sorted by relevance
118 def get_elf(self, elf_or_uuid): argument119 if not elf_or_uuid.endswith('.elf'):120 elf_or_uuid += '.elf'122 if d.endswith(elf_or_uuid) and os.path.isfile(d):124 elf = glob.glob(d + '/' + elf_or_uuid)
Completed in 6 milliseconds