From 1c5eb7ccdcd33317c419aba68472c9145141ba04 Mon Sep 17 00:00:00 2001
From: Delyan Angelov <delian66@gmail.com>
Date: Tue, 18 Jan 2022 17:42:29 +0200
Subject: [PATCH] ci: do not use pushd/popd in GNUmakefile

---
 GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: