diff options
Diffstat (limited to 'Tools/scripts/getpr')
-rwxr-xr-x | Tools/scripts/getpr | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Tools/scripts/getpr b/Tools/scripts/getpr index c9951cf10bbc..9656a6e6b24f 100755 --- a/Tools/scripts/getpr +++ b/Tools/scripts/getpr @@ -9,12 +9,19 @@ use strict; my $pr = shift; my $user = shift; +my $ssh; if ($pr eq "") { print STDERR "getpr prnum [username]\n"; exit 1 } +if( !defined $ENV{"CVS_RSH"} ) { + $ssh = "ssh"; +} else { + $ssh = $ENV{"CVS_RSH"}; +} + if ($user ne "") { $user = "$user@"; } @@ -23,7 +30,7 @@ if ($user ne "") { open(D, "> $pr") or die "$pr: $!"; open(PATCH, "> pr-patch") or die "pr-patch: $!"; -open(PR, " ssh ${user}freefall.freebsd.org query-pr -F $pr | ") or die $!; +open(PR, " ${ssh} ${user}freefall.freebsd.org query-pr -F $pr | ") or die $!; my $fix = ""; my $infix = 0; |