void read_stopwatch(struct tms *t, time_t *realtime)
Call start_stopwatch() before the task to time, and read_stopwatch() or read_stopwatch_string() to read the elapsed time.
1.0 29/10-96 Ulrik Kjems