1030
1030
static void end_timer(uint32_t start_time,char *buff);
1031
1031
static void drizzle_end_timer(uint32_t start_time,char *buff);
1032
1032
static void nice_time(double sec,char *buff,bool part_second);
1035
1035
#if defined(HAVE_TERMIOS_H) && defined(GWINSZ_IN_SYS_IOCTL)
1039
1039
int main(int argc,char *argv[])