1.1 --- a/src/Pure/System/command_line.scala	Wed Apr 23 12:51:55 2014 +0200
     1.2 +++ b/src/Pure/System/command_line.scala	Wed Apr 23 12:55:57 2014 +0200
     1.3 @@ -30,8 +30,8 @@
     1.4        catch {
     1.5          case exn: Throwable =>
     1.6            if (debug) exn.printStackTrace
     1.7 -          System.err.println(Exn.message(exn))
     1.8 -          2
     1.9 +          System.err.println(cat_lines(split_lines(Exn.message(exn)).map("*** " + _)))
    1.10 +          Exn.return_code(exn, 2)
    1.11        }
    1.12      sys.exit(rc)
    1.13    }