equal
deleted
inserted
replaced
53 } |
53 } |
54 |
54 |
55 public static void main(String... args) { |
55 public static void main(String... args) { |
56 for (String file : args) { |
56 for (String file : args) { |
57 File source = new File(System.getProperty("test.src", "."), file); |
57 File source = new File(System.getProperty("test.src", "."), file); |
58 if (execute("javadoc", "T4994049", new String[]{source.getPath()} ) != 0) |
58 if (execute("javadoc", "T4994049", T4994049.class.getClassLoader(), |
|
59 new String[]{source.getPath()} ) != 0) |
59 throw new Error(); |
60 throw new Error(); |
60 } |
61 } |
61 } |
62 } |
62 |
63 |
63 } |
64 } |