Integrated: 8320899: Select the correct Makefile when running make in build directory

Tue Nov 28 17:18:16 UTC 2023

On Tue, 28 Nov 2023 14:29:25 GMT, Magnus Ihse Bursie <ihse at openjdk.org> 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.

This pull request has now been integrated.

Changeset: 66ae6d52
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/66ae6d52a1590d9773fc9a32623339a58d70d732
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8320899: Select the correct Makefile when running make in build directory

Reviewed-by: erikj

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

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