diff --git a/GNUmakefile b/GNUmakefile index 9d5d87c19c..7111a9f50f 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -120,7 +120,7 @@ fresh_vc: ifndef local latest_tcc: $(TMPTCC)/.git/config - @pushd . > /dev/null && cd $(TMPTCC) && $(GITCLEANPULL) && popd > /dev/null + cd $(TMPTCC) && $(GITCLEANPULL) @$(MAKE) --quiet check_for_working_tcc 2> /dev/null else latest_tcc: