Makefile: don't run git checkout on behalf of the user

dmerejkowsky · dmerejkowsky · commit 3159ed4bf52a · 2021-05-12T14:40:00.000+02:00
I know this is safe because we check the repo is clean,
but don't like code I run on a repo to change the git state
of an other repo nearby.

Maybe that's just me, though
diff --git a/Makefile b/Makefile
@@ -58,7 +58,13 @@ endif
 
 .PHONY: all
 all: ensure_prerequisites
-	git -C $(CPYTHON_PATH) checkout $(CPYTHON_CURRENT_COMMIT)
+	@if [ $(shell git -C $(CPYTHON_PATH) rev-parse HEAD) != $(CPYTHON_CURRENT_COMMIT) ]; then \
+	    echo "Your $(CPYTHON_PATH) repositoy is not at the currect revision"; \
+	    echo "You can run try and run "; \
+	    echo "git -C $(CPYTHON_PATH) checkout $(CPYTHON_CURRENT_COMMIT)"; \
+	    echo "to fix the problem"; \
+	    exit 1; \
+	fi
 	mkdir -p locales/$(LANGUAGE)/LC_MESSAGES/
 	$(CP_CMD) -u --parents *.po */*.po locales/$(LANGUAGE)/LC_MESSAGES/
 	$(MAKE) -C $(CPYTHON_PATH)/Doc/     \
