Integrated: 8295213: Run GHA manually with user-specified make and configure arguments

Wed Oct 12 13:40:11 UTC 2022

On Wed, 12 Oct 2022 11:05:43 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> It is a trivial addition to our GHA scripts to allow the user to trigger a manual run, and to provide additional arguments to `make` and `configure` for that run. (Not all arguments will succeed though, if it conflicts with the GHA setup.) But it is an easy way to test some specific ways of building.

This pull request has now been integrated.

Changeset: 760a260f
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/760a260fbbe733a76c18e4d630999c94ac8cfe63
Stats:     60 lines in 5 files changed: 52 ins; 0 del; 8 mod

8295213: Run GHA manually with user-specified make and configure arguments

Reviewed-by: shade

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

PR: https://git.openjdk.org/jdk/pull/10673