workbench: allow control of profiling mode via WB_PROFILING_MODE vari…

…able
IntersectMBO · May 30, 2023 · 84e7e06 · 84e7e06
1 parent 30272e1
commit 84e7e06
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib.mk b/lib.mk
@@ -28,6 +28,8 @@ endef
 endif
 endef
 
+WB_PROFILING_MODE ?= time
+
 define define_profile_targets
 ID ?= $(shell git symbolic-ref HEAD | sed 's_/_\n_g' | tail -n1)
 ##                                           defining this target       profname  nix   dev   auto  stay profiled  backend