Una cosa così?

time_t lt = time(NULL);
struct tm *ptr = localtime(&lt);
printf("%d:%d:%d\n", ptr->tm_hour, ptr->tm_min, ptr->tm_sec);


O volendo asctime(ptr);