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)
commitdb27f2f3786fa867bf7524aff6a5b72c89932620
tree976703d8b77991efed88988e9fda5b9b0bd54fda
parent28623f19eebf4abe7d956087f681a988f8733f95
parent4f847cb64aa144977172f88ec9b2b91299d68827
Merge pull request #1973 from YosysHQ/eddie/fix1966

tests: fix various/plugin.sh when PREFIX != /usr/local/share