Integrated: 7133: Update the build script help to include the installCore option

[Andrea Cosentino]

On Mon, 8 Feb 2021 07:20:05 GMT, Andrea Cosentino <github.com+5106647+oscerd at openjdk.org> wrote:

> Noticed this: if you build jmc with build.sh script for the first time, you'll need to run the installCore command first and then all the command listed for testing and packaging it.

This pull request has now been integrated.

Changeset: 77605def
Author:    Andrea Cosentino <ancosen at gmail.com>
Committer: Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.java.net/jmc/commit/77605def
Stats:     1 line in 1 file changed: 1 ins; 0 del; 0 mod

7133: Update the build script help to include the installCore option

Reviewed-by: hirt

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

PR: https://git.openjdk.java.net/jmc/pull/215