*** empty log message ***

2 files changed, 17 insertions, 0 deletions

diff --git a/lib/fprintftime.c b/lib/fprintftime.c
new file mode 100644
index 000000000..9e236a117
--- /dev/null
+++ b/lib/fprintftime.c
@@ -0,0 +1,5 @@
+#include "config.h"
+
+#include "fprintftime.h"
+#define FPRINTFTIME 1
+#include "strftime.c"
diff --git a/lib/fprintftime.h b/lib/fprintftime.h
new file mode 100644
index 000000000..38fef43f1
--- /dev/null
+++ b/lib/fprintftime.h
@@ -0,0 +1,12 @@
+#include <stdio.h>
+#include <time.h>
+
+/* A cross between fprintf and nstrftime, that prints directly
+   to the output stream, without the need for the potentially
+   large buffer that nstrftime would require.
+
+   Output to stream FP the result of formatting (according to the
+   nstrftime format string, FMT) the time data, *TM, and the UTC
+   and NANOSECONDS values.  */
+size_t fprintftime (FILE *fp, char const *fmt, struct tm const *tm,
+		    int utc, int nanoseconds);