From d8ba30fb07ddaab1d5ace29fcb1e818346485ccf Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 18 Sep 2024 11:50:40 +0200
Subject: [PATCH] driver: document -B

---
 kernel/driver.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 1e4cd005266..cb6df177cf1 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -275,6 +275,9 @@ int main(int argc, char **argv)
 		printf("    -d\n");
 		printf("        print more detailed timing stats at exit\n");
 		printf("\n");
+		printf("    -B perffile\n");
+		printf("        write more detailed timing stats at exit in JSON into perffile\n");
+		printf("\n");
 		printf("    -l logfile\n");
 		printf("        write log messages to the specified file\n");
 		printf("\n");