Re: [pacman-dev] [PATCH] Speed up 'make check' operation