diff --git a/Makefile b/Makefile index c874491279..06482a2cc2 100644 --- a/Makefile +++ b/Makefile @@ -121,6 +121,7 @@ endif fresh_tcc: rm -rf $(TMPTCC) +ifndef local # Check wether a TCC branch exists for the user's system configuration. ifneq (,$(findstring thirdparty-$(TCCOS)-$(TCCARCH), $(shell git ls-remote --heads $(TCCREPO) | sed 's/^[a-z0-9]*\trefs.heads.//'))) $(GITFASTCLONE) --branch thirdparty-$(TCCOS)-$(TCCARCH) $(TCCREPO) $(TMPTCC) @@ -128,6 +129,9 @@ else @echo 'Pre-built TCC not available for thirdparty-$(TCCOS)-$(TCCARCH) at $(TCCREPO), will use the system compiler: $(CC)' $(GITFASTCLONE) --branch thirdparty-unknown-unknown $(TCCREPO) $(TMPTCC) endif +else + @echo "Using local tccbin" +endif $(TMPTCC)/.git/config: $(MAKE) fresh_tcc