Makefile: revert localtime mapping removal

Mapping /etc/localtime was removed unintentionally in ef7632c. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · May 14, 2024 · 187bf2c · 187bf2c
1 parent 59061cc
commit 187bf2c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -149,6 +149,7 @@ user_run:
 		--group-add sudo \
 		-v $(HOST_DIR):/host:z \
 		-v $(DOCKER_VOLUME_HOME):/home/$(shell whoami) \
+		-v $(ETC_LOCALTIME):/etc/localtime:ro \
 		$(USER_IMG) $(EXEC)
 
 .PHONY: user_run_l4v