| version 1.14 | | version 1.15 |
|---|
| | |
| /* | | /* |
| * static char *rcsid_time_c = | | * static char *rcsid_time_c = |
| * "$Id: time.c,v 1.14 2006/02/10 23:59:25 akirschbaum Exp $"; | | * "$Id: time.c,v 1.15 2006/05/18 05:27:43 mwedel Exp $"; |
| */ | | */ |
| | | |
| /* | | /* |
| | |
| long process_max_utime = 0; | | long process_max_utime = 0; |
| long process_min_utime = 999999999; | | long process_min_utime = 999999999; |
| long process_tot_mtime; | | long process_tot_mtime; |
| long pticks; | | uint32 pticks; |
| long process_utime_long_count; | | long process_utime_long_count; |
| | | |
| const char *season_name[] = | | const char *season_name[] = |