--- time-1.7/time.c.fixit	Wed Jan  9 15:38:33 2002
+++ time-1.7/time.c	Wed Jan  9 15:39:28 2002
@@ -327,6 +327,7 @@
   unsigned long r;		/* Elapsed real milliseconds.  */
   unsigned long v;		/* Elapsed virtual (CPU) milliseconds.  */
 
+  if (verbose) {
   if (WIFSTOPPED (resp->waitstatus))
     fprintf (fp, "Command stopped by signal %d\n",
 	     WSTOPSIG (resp->waitstatus));
@@ -336,6 +337,7 @@
   else if (WIFEXITED (resp->waitstatus) && WEXITSTATUS (resp->waitstatus))
     fprintf (fp, "Command exited with non-zero status %d\n",
 	     WEXITSTATUS (resp->waitstatus));
+  }
 
   /* Convert all times to milliseconds.  Occasionally, one of these values
      comes out as zero.  Dividing by zero causes problems, so we first