diff options
Diffstat (limited to 'usr.bin/time/time.c')
| -rw-r--r-- | usr.bin/time/time.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/usr.bin/time/time.c b/usr.bin/time/time.c index 53f96368cba5..137267b270cc 100644 --- a/usr.bin/time/time.c +++ b/usr.bin/time/time.c @@ -121,6 +121,8 @@ main(int argc, char **argv) err(1, "time"); /* NOTREACHED */ case 0: /* child */ + if (ofn) + fclose(out); execvp(*argv, argv); err(errno == ENOENT ? 127 : 126, "%s", *argv); /* NOTREACHED */ |