diff options
| -rwxr-xr-x | Tools/scripts/rmport | 24 |
1 files changed, 22 insertions, 2 deletions
diff --git a/Tools/scripts/rmport b/Tools/scripts/rmport index 37339efe13d8..59e748b8ef6e 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -178,8 +178,8 @@ check_dep() done } -# query GNATS, format and return the result -get_PRs() +# query GNATS via query-pr-summary.cgi, format and return the result +get_PRs_www() { catport=${1} synopsis=${2} @@ -203,6 +203,26 @@ get_PRs() |sort } +# query GNATS via query-pr on freefall and return the result +get_PRs_freefall() +{ + catport=${1} + synopsis=${2} + + log "${catport}: getting PRs having ${synopsis} in the synopsis" + + ssh freefall.freebsd.org "query-pr -qx -y '${synopsis}' || :" +} + +# query GNATS and return the result +get_PRs() +{ + catport=${1} + synopsis=${2} + + get_PRs_freefall ${catport} ${synopsis} +} + # check if any PRs exist that are related to the port check_PRs() { |