Integrated: CODETOOLS-7903245: Save copy of `make` command after running `make/build.sh`

Thu Aug 11 14:42:45 UTC 2022

On Wed, 10 Aug 2022 21:00:42 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a simple change to save a copy of the make command generated by `make/build.sh`, for later reuse to bypass downloading and building dependencies.

This pull request has now been integrated.

Changeset: e7ed70eb
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/e7ed70ebbc433ca27c6a5a8340b1ab6bf32523c1
Stats:     22 lines in 1 file changed: 7 ins; 0 del; 15 mod

7903245: Save copy of `make` command after running `make/build.sh`

Reviewed-by: iris

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

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