ci: do not use pushd/popd in GNUmakefile

vlang · Jan 18, 2022 · 1c5eb7c · 1c5eb7c
1 parent 6dfa11e
commit 1c5eb7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: