RFR: 8343832: Enhance test summary with number of skipped tests [v2]

[Magnus Ihse Bursie]

On Wed, 27 Nov 2024 15:40:22 GMT, Ivan Bereziuk <duke at openjdk.org> wrote:

>> The output for Jtreg v7.5 was [enhanced](https://github.com/openjdk/jtreg/pull/217/files#diff-b6ab77bf651f1fd9a83c3ca0aab9cd24ae5c08cef41e6e257f7eaccc07c7c366R947) with [information about skipped tests](https://github.com/openjdk/jtreg/blob/master/src/share/doc/javatest/regtest/faq.md#what-do-all-those-numbers-in-the-test-results-line-mean).
>> 
>> Use the additional information in the "summary" block printed at the end of `make test` target.
>
> Ivan Bereziuk has updated the pull request incrementally with one additional commit since the last revision:
> 
>   remove resorting zero-ing of $1_SKIPPED as preceding gawk always assigns the value

This looks good!

To be clear, I assisted in writing some of this code, so I think a secondary reviewer is in order.

-------------

Marked as reviewed by ihse (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/22245#pullrequestreview-2467651349