Merge pull request #9879 from evverx/get-rid-of-workaround
authorYu Watanabe <watanabe.yu+github@gmail.com>
Fri, 17 Aug 2018 15:11:58 +0000 (00:11 +0900)
committerGitHub <noreply@github.com>
Fri, 17 Aug 2018 15:11:58 +0000 (00:11 +0900)
 oss-fuzz.sh: just install the shared library


Trivial merge