[pacman-dev] [PATCH] Ignore cov-int directory for Coverity scan