Searched refs:BOOT_FILE_NAME (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/tools/harness/ | ||
H A D | harness.py | 20 BOOT_FILE_NAME = 'bootlog.txt' variable in class:Harness 129 boot_file_name = os.path.join(path, self.BOOT_FILE_NAME) |
Completed in 84 milliseconds