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

Tue Jan 12 15:38:55 UTC 2021

On Mon, 11 Jan 2021 19:10:55 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

>> Miroslav Wengner has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   6946: type correction, and error message improvement
>
> Changes requested by hirt (Lead).

Perhaps the text when the agent has been built should be:
Agent library build complete. You can now run an example with the agent using --runAgentExample, or use the agent with your own applications. See agent/README.md for more information.

(Is currently: You can run the agent, see agent/README.md)

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

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