RFR: 7903763: [jtreg] grep: /proc/version: No such file or directory

[Christian Stein]

On Wed, 26 Jun 2024 12:59:28 GMT, SendaoYan <syan at openjdk.org> wrote:

> Hi all,
> In rpmbuild mock enviroment, there is not `/proc/version` file, `jtreg -version` command will print `grep: /proc/version: No such file or directory` message.
> This PR add check the file `/proc/version` exists or not before execute command `grep /proc/version`
> The change has been verified locally, no risk.

Looks good to me — @jonathan-gibbons do you agree?

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

Marked as reviewed by cstein (Committer).

PR Review: https://git.openjdk.org/jtreg/pull/210#pullrequestreview-2141766768