Integrated: JDK-8280835: jdk/javadoc/tool/CheckManPageOptions.java depends on source hierarchy

Thu Jan 27 22:03:18 UTC 2022

On Thu, 27 Jan 2022 01:31:52 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a small test update to have this test pass if the main`src/` directory cannot be found. (Yes, apparently that happens in some testing scenarios.)

This pull request has now been integrated.

Changeset: 6d242e40
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/6d242e406539e97bdd4da82c478db901942b770f
Stats:     8 lines in 1 file changed: 6 ins; 0 del; 2 mod

8280835: jdk/javadoc/tool/CheckManPageOptions.java depends on source hierarchy

Reviewed-by: hannesw

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

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