diff --git a/scripts/pgit.sh b/scripts/pgit.sh index efa14ecd..d29aba16 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -4,17 +4,17 @@ log() { - echo $@ + echo "$myname $*" } err() { - log $@ + log "$@" } fatal() { - err $@ + err "$@" exit 1 } @@ -255,7 +255,10 @@ cmd_diff() done ) -echo "running $0 $@ GIT_SSH=$GIT_SSH" >&2 +myname=${0##*/} +log "Running $0 $@" +log "GIT_SSH=$GIT_SSH" +log "JW_PKG_SSH_EXTRA_OPTS=$JW_PKG_SSH_EXTRA_OPTS" cur=0 SSH=ssh