Re: [pacman-dev] [PATCH 2/3] makepkg: don't save the same shopts twice