Merge branch 'master' of /home/mdw/public-git/misc

* 'master' of /home/mdw/public-git/misc:
  timeout.c: Fix exit codes; useful message on exec failure.

diff --git a/timeout.c b/timeout.c
index 0493efa..dbdc83e 100644 (file)
--- a/timeout.c
+++ b/timeout.c
@@ -412,7 +412,7 @@ int main(int argc, char *const argv[])
   while (isspace((unsigned char)*p)) p++;
   t = strtod(argv[0], &p);
   while (isspace((unsigned char)*p)) p++;
-  if (*p) die(254, "bad time value `%s'", argv[0]);
+  if (*p) die(253, "bad time value `%s'", argv[0]);
 
   /* --- Get things set up --- */
 
@@ -439,7 +439,7 @@ int main(int argc, char *const argv[])
   if (!kid) {
     setpgid(0, 0);
     execvp(argv[1], argv + 1);
-    _exit(252);
+    die(252, "exec(%s) failed: %s", argv[1], strerror(errno));
   }
   sc.kid = kid;