vieter-v
/
v
2
0
Fork 0
Code Issues Pull Requests Releases Activity

ci: do not use pushd/popd in GNUmakefile

pull/13215/head
Delyan Angelov 2022-01-18 17:42:29 +02:00
parent 6dfa11e2f7
commit 1c5eb7ccdc
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
GNUmakefile
View File

@ -120,7 +120,7 @@ fresh_vc:
ifndef local ifndef local
latest_tcc: $(TMPTCC)/.git/config 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 @$(MAKE) --quiet check_for_working_tcc 2> /dev/null
else else
latest_tcc: latest_tcc: