diff options
| -rw-r--r-- | ajdoc/src/org/aspectj/tools/ajdoc/Main.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java index 6611d2165..4eb2875e9 100644 --- a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java +++ b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java @@ -87,11 +87,11 @@ public class Main implements Config { public static void main(String[] args) { clearState(); -// if (!JavadocRunner.has14ToolsAvailable()) { -// System.err.println("ajdoc requires a JDK 1.4 or later tools jar - exiting"); -// aborted = true; -// return; -// } + if (!JavadocRunner.has14ToolsAvailable()) { + System.err.println("ajdoc requires a JDK 1.4 or later tools jar - exiting"); + aborted = true; + return; + } // STEP 1: parse the command line and do other global setup sourcepath.addElement("."); // add the current directory to the classapth |