RFR: 6946: There should be an option to build the agent in the build script [v2]

[Miroslav Wengner]

On Tue, 15 Dec 2020 15:55:09 GMT, Alex Macdonald <aptmac at openjdk.org> wrote:

>> Miroslav Wengner has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   6946: typo correction
>
> build.sh line 24:
> 
>> 22: }
>> 23: 
>> 24: function installCore() {
> 
> Similar to my other comment this would be outside the scope of this issue, but it would be nice to have `installCore` as a separate argument for the build script

nice idea! I'll add it as therefore I've extracted repetitively used steps

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

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