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
