diff options
| -rwxr-xr-x | Tools/scripts/getpr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/getpr b/Tools/scripts/getpr index 9656a6e6b24f..4a88af11a86e 100755 --- a/Tools/scripts/getpr +++ b/Tools/scripts/getpr @@ -30,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.real -F $pr | ") or die $!; my $fix = ""; my $infix = 0; |