Searched refs:commit_date_string (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/manual/tools/
H A Dgen_env.py29 commit_date_string = p.communicate()[0] variable
32 if isinstance(commit_date_string, bytes):
33 commit_date_string = commit_date_string.decode("utf-8") variable
35 commit_date = datetime.datetime.strptime(commit_date_string.split()[0], "%Y-%m-%d")

Completed in 12 milliseconds