/[classpath]/gjdoc/src/gnu/classpath/tools/gjdoc/Main.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/gjdoc/Main.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.60 by mkoch, Fri Feb 11 11:31:07 2005 UTC revision 1.61 by julian, Fri Feb 11 13:52:19 2005 UTC
# Line 931  public final class Main Line 931  public final class Main
931        startDoclet(arguments);        startDoclet(arguments);
932      }      }
933    
934      System.exit(0);      if (reporter.getErrorCount() > 0) {
935          System.exit(1);
936        }
937        else {
938          System.exit(0);
939        }
940    }    }
941    
942    private void addJavaLangClasses()    private void addJavaLangClasses()

Legend:
Removed from v.1.60  
changed lines
  Added in v.1.61

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26