1011
1029
static void end_timer(uint32_t start_time,char *buff);
1012
1030
static void drizzle_end_timer(uint32_t start_time,char *buff);
1013
1031
static void nice_time(double sec,char *buff,bool part_second);
1016
1034
#if defined(HAVE_TERMIOS_H) && defined(GWINSZ_IN_SYS_IOCTL)
1020
1038
int main(int argc,char *argv[])