Merge pull request #2034 from YosysHQ/eddie/abc_remote
authorEddie Hung <eddie@fpgeh.com>
Thu, 7 May 2020 15:07:42 +0000 (08:07 -0700)
committerGitHub <noreply@github.com>
Thu, 7 May 2020 15:07:42 +0000 (08:07 -0700)
commit3a985d82851e498ba768d46403c41c05e5897eb4
tree5741b1b56dba5bd51becd3a5269cd90fa388a114
parenta299e606f864942c7edf90c4ad3998f4f4a346cf
parent8eb98b12c726149ee64c3901005eec4d527f12ad
Merge pull request #2034 from YosysHQ/eddie/abc_remote

Makefile: git fetch $(ABCURL) explicitly for local ABC checkout