index c97e121ad7d4dddc0d243b421e597a434b1fedd0..c48a2e1329b6bb8371507fa382dcf90601591a18 100644 (file)
--- a/src/include/core/time.h
+++ b/src/include/core/time.h
sdb_sleep(sdb_time_t reg, sdb_time_t *rem);
size_t
-sdb_strftime(char *s, size_t len, const char *format, sdb_time_t);
+sdb_strftime(char *s, size_t len, const char *format, sdb_time_t)
+ __attribute__((format(strftime, 3, 0)));
size_t
sdb_strfinterval(char *s, size_t len, sdb_time_t interval);