From f64a5a67a37015bd5066efd9b1edb6ac3e0b7a97 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Sat, 20 Jul 2024 22:51:23 +0200
Subject: Fixed gendata tool and cleaned up some stuff

---
 tools/timerun.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'tools/timerun.h')

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)
 {
-- 
cgit v1.3