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

[SendaoYan]

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.

This pull request has now been integrated.

Changeset: 3a1cef15
Author:    SendaoYan <syan at openjdk.org>
Committer: Jaikiran Pai <jpai at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/3a1cef15d00bc984a2f7770cda9b0088a65e4b8e
Stats:     2 lines in 1 file changed: 0 ins; 0 del; 2 mod

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

Reviewed-by: cstein, jjg

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

PR: https://git.openjdk.org/jtreg/pull/210