On Tue, 28 Nov 2023 14:29:25 GMT, Magnus Ihse Bursie <[email protected]> wrote:
> To facilitate running make in the build configuration directory, we create a > Makefile out of a template. Unfortunately, this references the real Makefile > at $TOPDIR instead of $WORKSPACE_ROOT. They are normally equivalent, but if > you are using custom additions, they might not be. Marked as reviewed by erikj (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/16852#pullrequestreview-1753361954
