diff options
| author | Tim J. Robbins <tjr@FreeBSD.org> | 2002-05-25 03:32:23 +0000 |
|---|---|---|
| committer | Tim J. Robbins <tjr@FreeBSD.org> | 2002-05-25 03:32:23 +0000 |
| commit | d6c762af4072e4216e6a0e5c32c7d7f28038a9c1 (patch) | |
| tree | ed315d8ab9043652698df382cca36d50c8a94848 /usr.bin/time | |
| parent | 816dde7d0531c08bda024704366192b1549725db (diff) | |
Notes
Diffstat (limited to 'usr.bin/time')
| -rw-r--r-- | usr.bin/time/time.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/usr.bin/time/time.c b/usr.bin/time/time.c index a5c1fa0286910..89dbc73bbc781 100644 --- a/usr.bin/time/time.c +++ b/usr.bin/time/time.c @@ -122,13 +122,8 @@ main(argc, argv) err(1, "time"); /* NOTREACHED */ case 0: /* child */ - errno = 0; execvp(*argv, argv); - warn("%s", *argv); - if (errno == ENOENT) - _exit(127); /* POSIX: utility could not be found */ - else - _exit(126); /* POSIX: utility could not be invoked */ + err(errno == ENOENT ? 127 : 126, "%s", *argv); /* NOTREACHED */ } /* parent */ |