1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 7b70f0a..ca56d53 100644
--- a/Makefile
+++ b/Makefile
@@ -79,6 +79,7 @@ derived-assets = \
 side-assets = \
 	src/_cgo_export.h              \
 	src/_cgo_main.c                \
+	tests/benchmarks/*.txt         \
 
 
 
@@ -177,7 +178,10 @@ fuzz: $(fuzz-targets.bin-check)
 
 benchmarks.bin-check = $(benchmarks.go:.go=.bin-check)
 $(benchmarks.bin-check):
-	$(EXEC)$*.bin
+	rm -f $*.txt
+	printf '%s\n' '$(EXEC)$*.bin'           >> $*.txt
+	LANG=POSIX.UTF-8 time -p $(EXEC)$*.bin 2>> $*.txt
+	printf '%s\n' '$*.txt'
 
 bench: $(benchmarks.bin-check)