From 43e1fbe7cf087724e0a48448d5849f9741d8db46 Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flow@cs.fau.de>
Date: Tue, 22 Feb 2022 18:42:51 +0100
Subject: [PATCH] [Makefile] Add 'stats' target

---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Makefile b/Makefile
index 9b9ecb70..2cc276fd 100644
--- a/Makefile
+++ b/Makefile
@@ -67,6 +67,14 @@ fibril-unmap:
 		EMPER_IO=false \
 		BUILDDIR="build-$@"
 
+.PHONY: stats
+stats:
+	rm -f build
+	$(MAKE) build \
+		EMPER_LOG_LEVEL="Info" \
+		EMPER_STATS=true \
+		BUILDDIR="build-$@"
+
 .PHONY: fast-static-analysis
 fast-static-analysis: all check-format check-license doc
 
-- 
GitLab