[PATCH] Main.java

[Diane Holt]

I have applied, and tested, Nico's code to prevent the re-printing of the
build exception message. The patch-file is attached.

Thanks, Nico.

Diane

=====
([EMAIL PROTECTED])



__________________________________________________
Do You Yahoo!?
Yahoo! Messenger - Talk while you surf!  It's FREE.
http://im.yahoo.com/
*** Main.java.orig Fri Oct 13 18:05:08 2000
--- Main.java Fri Oct 13 18:06:00 2000
***************
*** 125,134 ****
--- 125,140 ----
       *
       * @param args Command line args.
       */
+ 
      public static void main(String[] args) {
          try {
              new Main(args).runBuild();
              System.exit(0);
+         }
+         catch(BuildException exc) {
+             // BuildException already handled by DefaultLogger,
+             // don't print them again
+             System.exit(1);
          }
          catch(Throwable exc) {
              String message = exc.getMessage();