diff options
| author | Paul Selkirk <paul@psgd.org> | 2017-05-03 16:38:09 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2017-05-03 16:38:09 -0400 |
| commit | 7ef51e89d5a1d7d75cb0b8d3832327beb46319dd (patch) | |
| tree | 1024e1add5490394bf5747ab30ab528d51ca472c /projects/hsm/Makefile | |
| parent | 1175ff63f2a8c4762692551403862f9f0789aef8 (diff) | |
Add some task metrics.
Diffstat (limited to 'projects/hsm/Makefile')
| -rw-r--r-- | projects/hsm/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/projects/hsm/Makefile b/projects/hsm/Makefile index 927c9f1..ecd1a5d 100644 --- a/projects/hsm/Makefile +++ b/projects/hsm/Makefile @@ -13,6 +13,8 @@ OBJS = mgmt-cli.o \ BOARD_OBJS += $(TOPLEVEL)/task.o +CFLAGS += -DTASK_METRICS + CFLAGS += -DNUM_RPC_TASK=4 CFLAGS += -I$(LIBHAL_SRC) |