aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2017-05-24 17:53:00 -0400
committerPaul Selkirk <paul@psgd.org>2017-09-07 18:11:01 -0400
commit2913492229286b0578f64ce8c97ef21a9af09464 (patch)
tree6d0548241344e9b6ad500e68dc3bf4cf843457ae
parent03d7fa26a89d44349df86e29ac782d075856c570 (diff)
Duh, actually build task_metrics
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index c7af040..12e7df8 100644
--- a/Makefile
+++ b/Makefile
@@ -152,6 +152,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