diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-05-06 16:23:46 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-06 16:23:46 -0700 |
commit | 8eb98b12c726149ee64c3901005eec4d527f12ad (patch) | |
tree | 4e4fef449bc7f44614218549723de627bb3352bb /Makefile | |
parent | 283b1130a651324ff870059dc3b1cf869948db93 (diff) | |
download | yosys-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-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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]* |