[pacman-dev] [PATCH] makepkg: save and restore shell options before and after build()