diff --git a/Makefile b/Makefile index 9b9ecb705d98d87f78fdbacea20ab4bf3ef7f5a5..2cc276fd22bc7add06360829c34c002ba9063562 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