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

…hierarchy Backport-of: 6d242e406539e97bdd4da82c478db901942b770f
openjdk · May 14, 2024 · e0dba38 · e0dba38 · openjdk-notifier · May 14, 2024
1 parent 8f0fa10
commit e0dba38
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/test/langtools/jdk/javadoc/tool/CheckManPageOptions.java b/test/langtools/jdk/javadoc/tool/CheckManPageOptions.java
@@ -54,8 +54,14 @@
  * of the javadoc man page against the set of options declared in the source code.
  */
 public class CheckManPageOptions {
+    static class SourceDirNotFound extends Error { }
+
     public static void main(String... args) throws Exception {
-        new CheckManPageOptions().run(args);
+        try {
+            new CheckManPageOptions().run(args);
+        } catch (SourceDirNotFound e) {
+            System.err.println("NOTE: Cannot find src directory; test skipped");
+        }
     }
 
     static final PrintStream out = System.err;
@@ -150,7 +156,7 @@ Path findRootDir() {
             }
             dir = dir.getParent();
         }
-        throw new IllegalStateException("cannot find root dir");
+        throw new SourceDirNotFound();
     }
 
     List<String> getToolOptions() throws Error {