Make worker-wrapper optional
[ghc.git] / utils / coverity /
2014-04-29  Austin Seipprts: Add an initial Coverity model