diff options
| -rw-r--r-- | toys/other/timeout.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toys/other/timeout.c b/toys/other/timeout.c index 0e912f7c..e39dc7a3 100644 --- a/toys/other/timeout.c +++ b/toys/other/timeout.c @@ -39,7 +39,8 @@ GLOBALS( static void handler(int i) { - fprintf(stderr, "timeout pid %d signal %d\n", TT.pid, TT.nextsig); + if (toys.optflags & FLAG_v) + fprintf(stderr, "timeout pid %d signal %d\n", TT.pid, TT.nextsig); kill(TT.pid, TT.nextsig); if (TT.k_timeout) { |