Merge pull request #1146 from gsomlo/gls-test-abc-ext
authorClifford Wolf <clifford@clifford.at>
Fri, 28 Jun 2019 08:30:31 +0000 (10:30 +0200)
committerGitHub <noreply@github.com>
Fri, 28 Jun 2019 08:30:31 +0000 (10:30 +0200)
tests: use optional ABCEXTERNAL when specified


Trivial merge