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)
Make abc9 pass aware of optional ABCEXTERNAL override


Trivial merge