[pacman-dev] [PATCH] scripts: pass on options such as set -x to child processes