aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2017-05-24 17:53:00 -0400
committerPaul Selkirk <paul@psgd.org>2017-05-24 17:53:00 -0400
commit15d74433c59ba4410cd9b5706916a27e4a43e027 (patch)
treea732f0a3649967a2800b4181f6f45f902c2aead3
parenta7ee9a7b76a4ec90d9f864adfc4342f13f8bd499 (diff)
Duh, actually build task_metrics
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
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