diff options
author | Paul Selkirk <paul@psgd.org> | 2017-05-13 13:14:56 -0400 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2017-05-13 13:21:35 -0400 |
commit | a7ee9a7b76a4ec90d9f864adfc4342f13f8bd499 (patch) | |
tree | 4f7743242aae7da758d769ae7e4220a97a096378 /projects/hsm/Makefile | |
parent | 65b94ef5ba1981c74a99cb43ee768fbf480c698b (diff) | |
parent | 7ef51e89d5a1d7d75cb0b8d3832327beb46319dd (diff) |
Merge branch 'task_metrics' into profiling
Diffstat (limited to 'projects/hsm/Makefile')
-rw-r--r-- | projects/hsm/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/projects/hsm/Makefile b/projects/hsm/Makefile index 4df60d7..9a75b92 100644 --- a/projects/hsm/Makefile +++ b/projects/hsm/Makefile @@ -30,6 +30,10 @@ LIBS += $(LIBPROF_BLD)/libprof.a LDFLAGS += --specs=rdimon.specs -lc -lrdimon endif +ifdef DO_TASK_METRICS +CFLAGS += -DDO_TASK_METRICS +endif + all: $(PROJ:=.elf) %.elf: %.o $(BOARD_OBJS) $(OBJS) $(LIBS) |