Re: [pacman-dev] [PATCH] Don't bother if a package has already been built when using the --nobuild option