Searched refs:read_manifest (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/l4v/tools/autocorres/tools/ | ||
| H A D | release.py | 56 def read_manifest(filename, base): function 93 all_files = read_manifest(manifest_file, dir_src) |
Completed in 52 milliseconds