[Cryptech-Commits] [sw/stm32] 02/03: Duh, actually build task_metrics

[git at cryptech.is]

This is an automated email from the git hooks/post-receive script.

paul at psgd.org pushed a commit to branch profiling
in repository sw/stm32.

commit 15d74433c59ba4410cd9b5706916a27e4a43e027
Author: Paul Selkirk <paul at psgd.org>
AuthorDate: Wed May 24 17:53:00 2017 -0400

    Duh, actually build task_metrics
---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 432260b..68f4da3 100644
--- a/Makefile
+++ b/Makefile
@@ -151,6 +151,9 @@ libhal-test: $(BOARD_OBJS) $(LIBS) $(LIBHAL_BLD)/libhal.a .FORCE
 
 ifdef DO_PROFILING
 CFLAGS += -pg -DDO_PROFILING
+endif
+ifdef DO_TASK_METRICS
+CFLAGS += -DDO_TASK_METRICS
 hsm: $(BOARD_OBJS) $(LIBS) $(LIBHAL_BLD)/libhal.a $(LIBCLI_BLD)/libcli.a $(LIBPROF_BLD)/libprof.a .FORCE
 	$(MAKE) -C projects/hsm
 else