aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2020-05-06 16:23:46 -0700
committerEddie Hung <eddie@fpgeh.com>2020-05-06 16:23:46 -0700
commit8eb98b12c726149ee64c3901005eec4d527f12ad (patch)
tree4e4fef449bc7f44614218549723de627bb3352bb /Makefile
parent283b1130a651324ff870059dc3b1cf869948db93 (diff)
downloadyosys-8eb98b12c726149ee64c3901005eec4d527f12ad.tar.gz
yosys-8eb98b12c726149ee64c3901005eec4d527f12ad.tar.bz2
yosys-8eb98b12c726149ee64c3901005eec4d527f12ad.zip
Makefile: git fetch all commits from $(ABCURL) repo
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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]*