From fccd1d4049c0b13c9fa65227356c4cd9f4821a2c Mon Sep 17 00:00:00 2001 From: mustard Date: Mon, 20 Oct 2025 15:53:33 +0200 Subject: [PATCH] debug: add debug echos to help figure out make pull errors --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 5f00601..c523b18 100644 --- a/Makefile +++ b/Makefile @@ -30,15 +30,18 @@ create-bundle = git show-ref --verify --quiet refs/remotes/$(1)/$* \ .PHONY: pull pull/% pull: pull/$(shell git branch --show-current) pull/%: + echo "check dom0" $(check-dom0) + echo "clean workdir" $(clean-workdir) - + + echo "creating bundle" qvm-run -p $(GUEST) "cd $(GUEST_REPO) && $(call create-bundle,dom0)" $(BUNDLEIN) git remote add $(GUEST) $(BUNDLEIN) || true - + git pull $(GUEST) $*:$* qvm-run -p $(GUEST) "cd $(GUEST_REPO) && git update-ref refs/remotes/dom0/$* $*"