From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 6 May 2020 23:23:46 +0000 (-0700)
Subject: Makefile: git fetch all commits from $(ABCURL) repo
X-Git-Tag: working-ls180~566^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8eb98b12c726149ee64c3901005eec4d527f12ad;p=yosys.git

Makefile: git fetch all commits from $(ABCURL) repo
---

diff --git a/Makefile b/Makefile
index 838d29788..cb2bf587e 100644
--- a/Makefile
+++ b/Makefile
@@ -722,7 +722,7 @@ ifneq ($(ABCREV),default)
 		test $(ABCPULL) -ne 0 || { echo 'REEBE: NOP abg hc gb qngr naq NOPCHYY frg gb 0 va Znxrsvyr!' | tr 'A-Za-z' 'N-ZA-Mn-za-m'; exit 1; }; \
 		echo "Pulling ABC from $(ABCURL):"; set -x; \
 		test -d abc || git clone $(ABCURL) abc; \
-		cd abc && $(MAKE) DEP= clean && git fetch origin master && git checkout $(ABCREV); \
+		cd abc && $(MAKE) DEP= clean && git fetch $(ABCURL) && git checkout $(ABCREV); \
 	fi
 endif
 	$(Q) rm -f abc/abc-[0-9a-f]*