diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-05-07 08:07:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-07 08:07:42 -0700 |
| commit | 3a985d82851e498ba768d46403c41c05e5897eb4 (patch) | |
| tree | 5741b1b56dba5bd51becd3a5269cd90fa388a114 | |
| parent | a299e606f864942c7edf90c4ad3998f4f4a346cf (diff) | |
| parent | 8eb98b12c726149ee64c3901005eec4d527f12ad (diff) | |
| download | yosys-3a985d82851e498ba768d46403c41c05e5897eb4.tar.gz yosys-3a985d82851e498ba768d46403c41c05e5897eb4.tar.bz2 yosys-3a985d82851e498ba768d46403c41c05e5897eb4.zip | |
Merge pull request #2034 from YosysHQ/eddie/abc_remote
Makefile: git fetch $(ABCURL) explicitly for local ABC checkout
| -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]* |