140 |
printf("BlockTimer sorted by name (sorting TBD):\n"); |
printf("BlockTimer sorted by name (sorting TBD):\n"); |
141 |
for(i=0; i<NUM_TIMERS; i++) { |
for(i=0; i<NUM_TIMERS; i++) { |
142 |
if (g_names[i] != (char *) NULL) { |
if (g_names[i] != (char *) NULL) { |
143 |
printf(" %7d %15.2lf %s\n", g_count[i], g_times[i], g_names[i]); |
printf(" %7d %15.2f %s\n", g_count[i], g_times[i], g_names[i]); |
144 |
} |
} |
145 |
} |
} |
146 |
#endif /* BLOCKTIMER */ |
#endif /* BLOCKTIMER */ |
161 |
printf("BlockTimer sorted by time (sorting TBD):\n"); |
printf("BlockTimer sorted by time (sorting TBD):\n"); |
162 |
for(i=0; i<NUM_TIMERS; i++) { |
for(i=0; i<NUM_TIMERS; i++) { |
163 |
if (g_names[i] != (char *) NULL) { |
if (g_names[i] != (char *) NULL) { |
164 |
printf(" %7d %15.2lf seconds for %s\n", g_count[i], g_times[i], g_names[i]); |
printf(" %7d %15.2f seconds for %s\n", g_count[i], g_times[i], g_names[i]); |
165 |
} |
} |
166 |
} |
} |
167 |
#endif /* BLOCKTIMER */ |
#endif /* BLOCKTIMER */ |