1 files changed, 12 insertions, 0 deletions

diff --git a/tools/timerun.h b/tools/timerun.h
index dabfde0..58a8e7a 100644
--- a/tools/timerun.h
+++ b/tools/timerun.h
@@ -1,9 +1,21 @@
+#include <stdarg.h>
 #include <stdbool.h>
 #include <inttypes.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <time.h>
 
+void
+log_stderr(const char *str, ...)
+{
+        va_list args;
+
+        va_start(args, str);
+        vfprintf(stderr, str, args);
+        va_end(args);
+}
+
+
 double
 timerun(void (*run)(void), char *name)
 {