diff --git a/scripts/pgit.sh b/scripts/pgit.sh index a990086b..c7d0f3a8 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -299,9 +299,12 @@ cmd_diff() done ) +set -o pipefail + myname=${0##*/} cmdline="$myname $*" porcelain=0 + log_start_stop start log "GIT_SSH=$GIT_SSH" log "JW_PKG_SSH_EXTRA_OPTS=$JW_PKG_SSH_EXTRA_OPTS"