Searched refs:target_time (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/l4v/tools/autocorres/tools/ | ||
| H A D | release.py | 348 target_time = int(time.mktime(time.localtime())) variable 351 os.utime(os.path.join(root, i), (target_time, target_time)) |
Completed in 28 milliseconds