BSD 4 release

[unix-history] / usr / src / cmd / time.c

diff --git a/usr/src/cmd/time.c b/usr/src/cmd/time.c
index 5c63d66..0b03e01 100644 (file)
--- a/usr/src/cmd/time.c
+++ b/usr/src/cmd/time.c
@@ -1,3 +1,4 @@
+static char *sccsid = "@(#)time.c      4.2 (Berkeley) 10/9/80";

 /* time command */
 
 #include <stdio.h>
 /* time command */
 
 #include <stdio.h>


@@ -38,10 +39,10 @@ char **argv;
        if((status&0377) != 0)
                fprintf(stderr,"Command terminated abnormally.\n");
        times(&buffer);
        if((status&0377) != 0)
                fprintf(stderr,"Command terminated abnormally.\n");
        times(&buffer);

-       fprintf(stderr,"\n");

        printt("real", (after-before) * 60);
        printt("user", buffer.tms_cutime - obuffer.tms_cutime);
        printt("sys ", buffer.tms_cstime - obuffer.tms_cstime);
        printt("real", (after-before) * 60);
        printt("user", buffer.tms_cutime - obuffer.tms_cutime);
        printt("sys ", buffer.tms_cstime - obuffer.tms_cstime);

+       fprintf(stderr, "\n");

        exit(status>>8);
 }
 
        exit(status>>8);
 }
 


@@ -63,16 +64,17 @@ long a;
                digit[i] = a % quant[i];
                a /= quant[i];
        }
                digit[i] = a % quant[i];
                a /= quant[i];
        }

-       fprintf(stderr,s);

        nonzero = 0;
        while(--i>0) {
                c = digit[i]!=0 ? digit[i]+'0':
                    nonzero ? '0':
                    pad[i];
        nonzero = 0;
        while(--i>0) {
                c = digit[i]!=0 ? digit[i]+'0':
                    nonzero ? '0':
                    pad[i];

+               if (c)

                fprintf(stderr,"%c",c);
                nonzero |= digit[i];
                c = nonzero?sep[i]:nsep[i];
                fprintf(stderr,"%c",c);
                nonzero |= digit[i];
                c = nonzero?sep[i]:nsep[i];

+               if (c)

                fprintf(stderr,"%c",c);
        }
                fprintf(stderr,"%c",c);
        }

-       fprintf(stderr,"\n");
+       fprintf(stderr," %s ",s);

 }
 }