Integrated: 8258447: Move make/hotspot/hotspot.script to make/scripts

Wed Dec 16 18:51:58 UTC 2020

On Tue, 15 Dec 2020 23:28:25 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> The hotspot launcher script is misplaced among the hotspot make files. It should move to make/scripts (and get a proper extension).

This pull request has now been integrated.

Changeset: ab5d581b
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/ab5d581b
Stats:     2 lines in 2 files changed: 0 ins; 0 del; 2 mod

8258447: Move make/hotspot/hotspot.script to make/scripts

Reviewed-by: dcubed

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

PR: https://git.openjdk.java.net/jdk/pull/1791