Merge pull request #1973 from YosysHQ/eddie/fix1966
authorEddie Hung <eddie@fpgeh.com>
Wed, 22 Apr 2020 17:19:30 +0000 (10:19 -0700)
committerGitHub <noreply@github.com>
Wed, 22 Apr 2020 17:19:30 +0000 (10:19 -0700)
tests: fix various/plugin.sh when PREFIX != /usr/local/share


Trivial merge