equal
deleted
inserted
replaced
28 val rc = |
28 val rc = |
29 try { body } |
29 try { body } |
30 catch { |
30 catch { |
31 case exn: Throwable => |
31 case exn: Throwable => |
32 if (debug) exn.printStackTrace |
32 if (debug) exn.printStackTrace |
33 System.err.println(Exn.message(exn)) |
33 System.err.println(cat_lines(split_lines(Exn.message(exn)).map("*** " + _))) |
34 2 |
34 Exn.return_code(exn, 2) |
35 } |
35 } |
36 sys.exit(rc) |
36 sys.exit(rc) |
37 } |
37 } |
38 |
38 |
39 def tool0(body: => Unit): Nothing = tool { body; 0 } |
39 def tool0(body: => Unit): Nothing = tool { body; 0 } |