Searched refs:release_files_dir (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/l4v/tools/autocorres/tools/ |
| H A D | release.py | 151 release_files_dir = os.path.join(args.repository, "tools", "autocorres", "tools", "release_files") variable
180 os.path.join(release_files_dir, "AUTOCORRES_FILES"),
204 os.path.join(release_files_dir, "ROOT.release"),
207 os.path.join(release_files_dir, "ROOTS.base_dir"),
211 os.path.join(release_files_dir, i),
214 os.path.join(release_files_dir, "CONTRIBUTORS"),
|
Completed in 80 milliseconds