/*
 * Copyright (c) 2024 Meta Platforms
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#undef _POSIX_C_SOURCE
#define _POSIX_C_SOURCE 200809L
#include <time.h>

/**
 * `ctime()` is equivalent to `asctime(localtime(clock))`
 * See: https://pubs.opengroup.org/onlinepubs/009695399/functions/ctime.html
 */

char *ctime(const time_t *clock)
{
	return asctime(localtime(clock));
}

#if defined(CONFIG_COMMON_LIBC_CTIME_R)
char *ctime_r(const time_t *clock, char *buf)
{
	struct tm tmp;

	return asctime_r(localtime_r(clock, &tmp), buf);
}
#endif /* CONFIG_COMMON_LIBC_CTIME_R */