ref: 0adb3e98860558ff5557eff7c39e614f781706b6
parent: 38e821efbd3e37e5dd588bd78c9948bffec85582
author: Ori Bernstein <ori@eigenstate.org>
date: Tue Mar 10 12:18:14 EDT 2015
Make tool failures more glaring.
--- a/util.myr
+++ b/util.myr
@@ -30,9 +30,9 @@
else
match std.wait(pid)
| `std.Wsuccess: /* nothing */
- | `std.Wfailure: std.fatal(1, "%s did not execute successfully\n", cmd[0])
- | `std.Wsignalled: std.fatal(1, "%s exited with signal\n", cmd[0])
- | `std.Waiterror: std.fatal(1, "failed to wait for %s\n", cmd[0])
+ | `std.Wfailure: std.fatal(1, "FAIL: %s\n", cmd[0])
+ | `std.Wsignalled: std.fatal(1, "CRASH: %s\n", cmd[0])
+ | `std.Waiterror: std.fatal(1, "WAT: %s\n", cmd[0])
;;
;;
}