From 4788136b10497995a6129e29271d06b52411a7cb Mon Sep 17 00:00:00 2001 From: Mauro Vietri Date: Sat, 27 Dec 2025 23:11:52 -0300 Subject: [PATCH] set git safe.directory to workspace to get commit hash during make --- toolchain/makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/toolchain/makefile b/toolchain/makefile index 102a27e..7f5f37b 100644 --- a/toolchain/makefile +++ b/toolchain/makefile @@ -16,7 +16,7 @@ NORM=$(shell tput sgr0) ifeq ($(CONTAINER_NAME),) shell: .build $(info $(BOLD)Starting $(TOOLCHAIN_NAME)...$(NORM)) - docker run -it --rm -v "$(WORKSPACE_DIR)":/root/workspace $(TOOLCHAIN_NAME) /bin/bash + docker run -it --rm -v "$(WORKSPACE_DIR)":/root/workspace $(TOOLCHAIN_NAME) /bin/bash -c "git config --global --add safe.directory /root/workspace && exec bash" else shell: $(info $(BOLD)Connecting to running $(TOOLCHAIN_NAME)...$(NORM))