Merge pull request #1149 from gsomlo/gls-1098-abcext-fixup
authorEddie Hung <eddie@fpgeh.com>
Fri, 28 Jun 2019 22:02:50 +0000 (15:02 -0700)
committerGitHub <noreply@github.com>
Fri, 28 Jun 2019 22:02:50 +0000 (15:02 -0700)
commitc5563b67c849e084015040c8b0d25d5f9489be43
treeb8ee73ac659a3a5092f6dc97fe84b98a28df304f
parentb3f162e94e61f739b84d8c6b31f203119805b2fb
parent8cb3655ecdf89102213a33c7474fb85f1ad0a033
Merge pull request #1149 from gsomlo/gls-1098-abcext-fixup

Make abc9 pass aware of optional ABCEXTERNAL override