make certain we dereference the pointer as a time_t, esp on x86_64

where it might otherwise not be dereferenced as such by default
This commit is contained in:
Eric Andersen 2006-01-30 22:33:31 +00:00
parent 0cb6f35c33
commit 9a58b02ec7

View File

@ -100,7 +100,7 @@ extern int last_main(int argc, char **argv)
} }
printf("%-10s %-14s %-18s %-12.12s\n", ut.ut_user, ut.ut_line, ut.ut_host, printf("%-10s %-14s %-18s %-12.12s\n", ut.ut_user, ut.ut_line, ut.ut_host,
ctime(&(ut.ut_tv.tv_sec)) + 4); ctime((time_t *)&(ut.ut_tv.tv_sec)) + 4);
} }
bb_fflush_stdout_and_exit(EXIT_SUCCESS); bb_fflush_stdout_and_exit(EXIT_SUCCESS);