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

Wed Oct 12 12:50:06 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.

Looks okay to me.

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

Marked as reviewed by shade (Reviewer).

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