#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>
#include<errno.h>

#include "timer.h"

void pr_times( FILE * fp, clock_t real, struct tms * tmsstart,
								struct tms * tmsend )
{
    static long clktck;

    if (clktck == 0)
        if((clktck = sysconf(_SC_CLK_TCK)) < 0)
            perror("sysconf error");

    fprintf(fp, "Elapsed: %7.2f, ", real / (double) clktck);
    fprintf(fp, "user: %7.2f, ", (tmsend->tms_utime - tmsstart->tms_utime) /
           (double) clktck);
    fprintf(fp, "sys:  %7.2f\n", (tmsend->tms_stime - tmsstart->tms_stime) /
           (double) clktck);
  }