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

Wed Oct 12 11:13:16 UTC 2022

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.

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

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

Changes: https://git.openjdk.org/jdk/pull/10673/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=10673&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8295213
  Stats: 60 lines in 5 files changed: 52 ins; 0 del; 8 mod
  Patch: https://git.openjdk.org/jdk/pull/10673.diff
  Fetch: git fetch https://git.openjdk.org/jdk pull/10673/head:pull/10673

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